#include "nusmv/core/utils/object.h"#include "nusmv/core/hrc/HrcNode.h"#include "nusmv/core/compile/symb_table/SymbTable.h"#include "nusmv/core/node/node.h"#include "nusmv/core/prop/Prop.h"#include "nusmv/core/utils/utils.h"Go to the source code of this file.
Data Structures | |
| struct | HrcDumperInfo |
Defines | |
| #define | HRC_DUMPER(self) ((HrcDumper_ptr) self) |
| To cast and check instances of class HrcDumper. | |
| #define | HRC_DUMPER_CHECK_INSTANCE(self) (nusmv_assert(HRC_DUMPER(self) != HRC_DUMPER(NULL))) |
Typedefs | |
| typedef struct HrcDumper_TAG * | HrcDumper_ptr |
Enumerations | |
| enum | HrcDumperSnippet { HDS_HRC_TOP, HDS_LIST_MODS, HDS_MOD, HDS_MOD_NAME, HDS_LIST_MOD_FORMAL_PARAMS, HDS_MOD_FORMAL_PARAM, HDS_LIST_MOD_INSTANCES, HDS_MOD_INSTANCE, HDS_MOD_INSTANCE_VARNAME, HDS_MOD_INSTANCE_MODNAME, HDS_LIST_MOD_INSTANCE_ACTUAL_PARAMS, HDS_MOD_INSTANCE_ACTUAL_PARAM, HDS_LIST_SYMBOLS, HDS_SYMBOL, HDS_LIST_ASSIGNS, HDS_ASSIGN_INIT, HDS_ASSIGN_INVAR, HDS_ASSIGN_NEXT, HDS_LIST_CONSTRAINTS, HDS_CONSTRAINT_INIT, HDS_CONSTRAINT_INVAR, HDS_CONSTRAINT_TRANS, HDS_LIST_FAIRNESS, HDS_JUSTICE, HDS_COMPASSION, HDS_LIST_SPECS, HDS_SPEC, HDS_LIST_COMPILER_INFO, HDS_LIST_SYNTAX_ERRORS, HDS_ERROR } |
| #define HRC_DUMPER | ( | self | ) | ((HrcDumper_ptr) self) |
| #define HRC_DUMPER_CHECK_INSTANCE | ( | self | ) | (nusmv_assert(HRC_DUMPER(self) != HRC_DUMPER(NULL))) |
| typedef struct HrcDumper_TAG* HrcDumper_ptr |
| enum HrcDumperSnippet |
1.6.1