NuSMV/code/nusmv/core/fsm/fsmInt.h File Reference

#include "nusmv/core/fsm/FsmBuilder.h"
#include "nusmv/core/compile/FlatHierarchy.h"
#include "nusmv/core/opt/opt.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Variables
FsmBuilder_ptr	global_fsm_builder
	Internal interfaces for package fsm.
FlatHierarchy_ptr	mainFlatHierarchy
int	nusmv_yylineno

---

Variable Documentation

FsmBuilder_ptr global_fsm_builder

Internal interfaces for package fsm.

Author:

Roberto Cavada

Todo:

: Missing description

FlatHierarchy_ptr mainFlatHierarchy

int nusmv_yylineno