NuSMV/code/nusmv/core/prop/propInt.h File Reference

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

Go to the source code of this file.

Variables
node_ptr	all_variables
	required
cmp_struct_ptr	cmps
FsmBuilder_ptr	global_fsm_builder

---

Variable Documentation

node_ptr all_variables

required

Author:

Marco Roveri, Roberto Cavada optional

cmp_struct_ptr cmps

FsmBuilder_ptr global_fsm_builder