NuSMV/code/nusmv/core/cinit/NuSMVEnv.h File Reference

#include "nusmv/core/utils/defs.h"
#include "cudd/st.h"

Go to the source code of this file.

Defines
#define	ENV_BDD_ENCODER   "+:_bdd_enc"
#define	ENV_BDD_FSM   "+7_bdd_fsm"
#define	ENV_BE_ENCODER   "+;_be_enc"
#define	ENV_BE_FSM   "+8_be_fsm"
#define	ENV_BOOL_ENCODER   "+9_bool_enc"
#define	ENV_BOOL_FSM   "+6_bool_fsm"
#define	ENV_DD_MGR   "+2_dd_manager"
#define	ENV_DD_VARS_HANDLER   "+3_dd_vars_hand"
#define	ENV_DEPENDENCY   "+>_dependency"
#define	ENV_ERROR_MANAGER   "+&_error_manager"
#define	ENV_EXPR_MANAGER   "+'_expr_manager"
#define	ENV_FLAT_HIERARCHY   "+._flat_hierarchy"
#define	ENV_FLATTENER   "+=_flattener"
#define	ENV_FSM_BUILDER   "+1_fsm_builder"
#define	ENV_HRC_HIERARCHY   "+0_hrc_hierarchy"
#define	ENV_IWFF_PRINTER   "+)_iwff_printer"
#define	ENV_LOGGER   "+!_logger"
#define	ENV_MASTER_LOGIC_RECOGNIZER   "+?_master_logic_recognizer"
#define	ENV_MSAT_ENCODER   "+<_msat_enc"
#define	ENV_NODE_MGR   "+%_node_manager"
#define	ENV_NODE_NORMALIZER   "++_normalizer"
#define	ENV_OPTS_HANDLER   "+,_opts_handler"
#define	ENV_PROP_DB   "+/_prop_db"
#define	ENV_SEXP_FSM   "+5_sexp_fsm"
#define	ENV_SEXP_PRINTER   "+*_sexp_printer"
#define	ENV_STREAM_MANAGER   "+\"_stream_mgr"
#define	ENV_STRING_MGR   "+#_ustring_manager"
#define	ENV_SYMB_TABLE   "+-_symb_table"
#define	ENV_TRACE_MGR   "+4_trace_mgr"
#define	ENV_WFF_PRINTER   "+(_wff_printer"
#define	ENV_WORD_NUMBER_MGR   "+$_word_number_mgr"
#define	NUSMV_ENV(self)   ((NuSMVEnv_ptr) self)
	To cast and check instances of class NuSMVEnv.
#define	NUSMV_ENV_CHECK_INSTANCE(self)   (nusmv_assert(NUSMV_ENV(self) != NUSMV_ENV(NULL)))
Typedefs
typedef struct NuSMVEnv_TAG *	NuSMVEnv_ptr

---

Define Documentation

#define ENV_BDD_ENCODER   "+:_bdd_enc"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_BDD_FSM   "+7_bdd_fsm"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_BE_ENCODER   "+;_be_enc"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_BE_FSM   "+8_be_fsm"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_BOOL_ENCODER   "+9_bool_enc"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_BOOL_FSM   "+6_bool_fsm"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_DD_MGR   "+2_dd_manager"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_DD_VARS_HANDLER   "+3_dd_vars_hand"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_DEPENDENCY   "+>_dependency"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_ERROR_MANAGER   "+&_error_manager"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_EXPR_MANAGER   "+'_expr_manager"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_FLAT_HIERARCHY   "+._flat_hierarchy"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_FLATTENER   "+=_flattener"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_FSM_BUILDER   "+1_fsm_builder"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_HRC_HIERARCHY   "+0_hrc_hierarchy"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_IWFF_PRINTER   "+)_iwff_printer"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_LOGGER   "+!_logger"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_MASTER_LOGIC_RECOGNIZER   "+?_master_logic_recognizer"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_MSAT_ENCODER   "+<_msat_enc"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_NODE_MGR   "+%_node_manager"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_NODE_NORMALIZER   "++_normalizer"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_OPTS_HANDLER   "+,_opts_handler"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_PROP_DB   "+/_prop_db"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_SEXP_FSM   "+5_sexp_fsm"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_SEXP_PRINTER   "+*_sexp_printer"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_STREAM_MANAGER   "+\"_stream_mgr"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_STRING_MGR   "+#_ustring_manager"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_SYMB_TABLE   "+-_symb_table"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_TRACE_MGR   "+4_trace_mgr"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_WFF_PRINTER   "+(_wff_printer"

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_WORD_NUMBER_MGR   "+$_word_number_mgr"

Todo:

Missing synopsis

Todo:

Missing description

#define NUSMV_ENV

(

self

)

((NuSMVEnv_ptr) self)

To cast and check instances of class NuSMVEnv.

These macros must be used respectively to cast and to check instances of class NuSMVEnv

#define NUSMV_ENV_CHECK_INSTANCE

(

self

)

(nusmv_assert(NUSMV_ENV(self) != NUSMV_ENV(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct NuSMVEnv_TAG* NuSMVEnv_ptr