| AddArray | The header file of AddArray class |
| array_t | |
| AssocAndDestroy | |
| avl_generator | |
| avl_node | AVL Trees |
| avl_tree | |
| BaseEnc | Private and protected interface of class 'BaseEnc' |
| BaseEvaluator | Private and protected interface of class 'BaseEvaluator' |
| BaseTraceExecutor | Private and protected interface of class 'BaseTraceExecutor' |
| BDDCompleteTraceExecutor | Private and protected interface of class 'BDDCompleteTraceExecutor' |
| BddELFwdSavedOptions | Holds the values of those options that might have been overridden to allow execution of forward Emerson-Lei |
| BddEnc | BddEnc class definition derived from class BoolEncClient |
| BddEncCache | The Bdd encoding cache interface |
| BddFsm | Declares the interface of the class BddFsm |
| BddFsmCache | Private interface for package bdd_fsm |
| BddFsmCache::BddFsmReachable_TAG | |
| BDDPartialTraceExecutor | Private and protected interface of class 'BDDPartialTraceExecutor' |
| BddTrans | The header file of the class BddTrans |
| Be_Manager | The private interface of the Be_Manager class |
| BeEnc | Private and protected interface of class 'BeEnc' |
| BeFsm | Public interface of the Finite State Machine class in BE format |
| BiMap | Definition of the public accessor for class BiMap |
| BiMapIter | |
| BitValues | Public interface of class 'BitValues' |
| Bmc_Stack_ptr | Public interface for the stack of node_ptr |
| BoolEnc | Private and protected interface of class 'BoolEnc' |
| BoolEncClient | Private and protected interface of class 'BoolEncClient' |
| BoolSexpFsm | Private and protected interface of class 'BoolSexpFsm' |
| CheckerBase | CheckerBase class definition derived from class node.NodeWalker |
| CheckerCore | CheckerCore class definition derived from class CheckerBase |
| CheckerPsl | Private and protected interface of class 'CheckerPsl' |
| CheckerStatement | Private and protected interface of class 'CheckerStatement' |
| clause_graph | |
| ClgManager | |
| Cluster | The header file of trans cluster class |
| ClusterIwls95 | Iwls'95 Cluster Class |
| ClusterList | The header file of ClusterList class |
| ClusterOptions | The header file of ClusterOptions class |
| CmdAliasDescr_t | |
| cmp_struct_ptr | Data structure used to store the current status of compilation |
| command_item | |
| CommandDescr_t | |
| CompassionList | |
| CompleteTraceExecutor | Private and protected interface of class 'CompleteTraceExecutor' |
| ConjSet | Public interface of class 'ConjSet' |
| Dag_DfsFunctions_t | DFS function struct |
| Dag_Manager_t | DAG manager |
| Dag_Vertex_t | DAG vertex |
| dd_block | |
| dd_ptr | Header file for Decisison Diagram Package |
| DDMgr | Private and protected interface of class 'DDMgr' |
| DependencyBase | Private and protected interface of class 'DependencyBase' |
| DependencyCore | Private and protected interface of class 'DependencyCore' |
| DependencyPsl | Private and protected interface of class 'DependencyPsl' |
| DLiter | |
| DLlist | Public interface for a DLlist class |
| DLnode | A node of the list |
| EnvObject | Private and protected interface of class 'EnvObject' |
| ErrorMgr | Public interface of class 'ErrorMgr' |
| ExprMgr | Definition of the public accessor for class ExprMgr |
| FairnessList | Declares the interface for the classes that contains fairness conditions |
| FlatHierarchy_ptr | The class is used to store results of flattening a hierarchy |
| FlattenerBase | Private and protected interface of class 'FlattenerBase' |
| FlattenerCore | Private and protected interface of class 'FlattenerCore' |
| FormulaDependency | Private and protected interface of class 'FormulaDependency' |
| Fsm_SexpPtr | |
| FsmBuilder | Public interface for a high level object that can contruct FSMs |
| GenericTrans | The private interface of class GenericTrans |
| Gmp | A GMP big number |
| GroupInfo | GroupInfo is an opaque structure which contains the information about groups of variables |
| hash_ptr | |
| hashPtr | |
| heap | |
| HrcDumper | Private and protected interface of class 'HrcDumper' |
| HrcDumperAnonymizer | Private and protected interface of class 'HrcDumperAnonymizer' |
| HrcDumperDebug | Private and protected interface of class 'HrcDumperDebug' |
| HrcDumperInfo | |
| HrcDumperSmv | Private and protected interface of class 'HrcDumperSmv' |
| HrcDumperXml | Private and protected interface of class 'HrcDumperXml' |
| HrcFlattener | Public interface of class 'HrcFlattener' |
| HrcNode | Private and protected interface of class 'HrcNode' |
| HrcVarDependencies | Public interface of class 'HrcVarDependencies' |
| InlineRes | Inliner result type |
| InlineResult | Public interface of class 'InlineResult' |
| JusticeList | |
| Link | Use when iterating on NodeLists |
| Logger | Public interface of class 'Logger' |
| LogicRecognizerBase | LogicRecognizerBase class definition derived from class NodeWalker |
| LogicRecognizerCore | Private and protected interface of class 'LogicRecognizerCore' |
| LRUCache | Public interface of class 'LRUCache' |
| ls_dummy | |
| Ltl2SmvPrefixes | A function to run ltl2smv routine |
| Ltl_StructCheckLtlSpec | Routines to handle with LTL model checking |
| MasterCompileFlattener | Private and protected interface of class 'MasterCompileFlattener' |
| MasterLogicRecognizer | Private and protected interface of class 'MasterLogicRecognizer' |
| MasterNodeWalker | Private interface of class 'MasterNodeWalker', to be used by derivated classes |
| MasterNormalizer | Public interface of class 'MasterNormalizer' |
| MasterPrinter | Public interface of class 'MasterPrinter' |
| McCheckInvarOpts | Fair CTL model checking algorithms. External header file |
| NFunction | Public interface of class 'NFunction' |
| node_ptr | The node data structure |
| node_val | Possible value that a node can assume |
| NodeAnonymizerAtom | Private and protected interface of class 'NodeAnonymizerAtom' |
| NodeAnonymizerBase | NodeAnonymizerBase class definition derived from class EnvObject |
| NodeAnonymizerDot | Private and protected interface of class 'NodeAnonymizerDot' |
| NodeAnonymizerST | NodeAnonymizerST class definition derived from class NodeAnonymizerDot |
| NodeGraph | Public interface of class 'NodeGraph' |
| NodeList | The header file of NodeList class |
| NodeMgr | Definition of the public accessor for class NodeMgr |
| NodeTransformation | |
| NodeWalker | Private and protected interface of class 'NodeWalker' |
| NormalizerBase | Private and protected interface of class 'NormalizerBase' |
| NormalizerCore | Private and protected interface of class 'NormalizerCore' |
| NormalizerPsl | Private and protected interface of class 'NormalizerPsl' |
| Number | General header to include when using infinite length numbers |
| NuSMVEnv | Public interface of class 'NuSMVEnv' |
| OAEntry | |
| OAHash | OAHash class definition |
| Object | Basic (private) services for object-oriented design |
| Oiter | |
| Olist | Public interface for a Olist class |
| Onode | A node of the list |
| options | |
| Opts_EnumRec | |
| OptsHandler_ptr | |
| OrdGroups | Public interface of class OrdGroups |
| OStream | Public interface of class 'OStream' |
| Pair | Pair class definition |
| ParserAp | The header file of ParserAp class |
| ParserIdList | The header file of ParserIdList class |
| ParserOrd | The header file of ParserOrd class |
| ParserProb | The header file of ParserProb class |
| PartialTraceExecutor | Private and protected interface of class 'PartialTraceExecutor' |
| PredicateExtractor | Public interface for a predicate-extractor class |
| PredicateNormaliser | Public interface for a predicate-normaliser class |
| PrinterBase | Private and protected interface of class 'PrinterBase' |
| PrinterIWffCore | Private and protected interface of class 'PrinterIWffCore' |
| PrinterNonAmbiguousDot | Private and protected interface of class 'PrinterNonAmbiguousDot' |
| PrinterPsl | Private and protected interface of class 'PrinterPsl' |
| PrinterSexpCore | Private and protected interface of class 'PrinterSexpCore' |
| PrinterWffCore | Private and protected interface of class 'PrinterWffCore' |
| ProbAssign | Public interface of class 'ProbAssign' |
| Prop | Definition of the public accessor for class Prop |
| Prop_Rewriter | Public interface of class 'Prop_Rewriter' |
| PropDb | Public interface of class 'PropDb' |
| PslExpr | |
| QNumber | A big number can either be a GMP big number or still be a long |
| Rbc_Manager_t | RBC manager |
| RbcDfsFunctions | |
| ResolveSymbol | Public interface of class 'ResolveSymbol' |
| SATCompleteTraceExecutor | Private and protected interface of class 'SATCompleteTraceExecutor' |
| SatIncSolver | The private interface of class SatIncSolver |
| SatMinisat | The private interface of class SatMinisat |
| SATPartialTraceExecutor | Private and protected interface of class 'SATPartialTraceExecutor' |
| SATRestartPartialTraceExecutor | Private and protected interface of class 'SATRestartPartialTraceExecutor' |
| SatSolver | The private interface of class SatSolver |
| SatZchaff | The private interface of class SatZchaff |
| sbmc_MetaSolver | Utilities function for SBMC package |
| sbmc_node_info | The data structure holding information for each subformula f |
| Set | Generic Set Data Structure |
| SexpFsm | Private and protected interface of class 'SexpFsm' |
| SexpInliner | The SexpInliner API |
| shift_memoize_key | The package internal interface for the be package |
| SimulateState | Private and protected interface of class 'SimulateState' |
| SimulateTransSet | Pubic interface for class SimulateTransSet |
| Siter | |
| Slist | Public interface for a Slist (Simple List) class |
| Snode | A node of the list |
| Sset | Public interface for a Sset (Sorted Set) class |
| Ssiter | |
| Ssnode | A node of the tree |
| Stack | |
| Stack_ptr | Public interface for a Stack class |
| state_vars_struct | Structures used within the SBMC package |
| StreamMgr | Public interface of class 'StreamMgr' |
| StreamTypeArg | Definition of enumeration StreamType |
| string_ptr | |
| string_rec | |
| SubstString | SubstString is the structure passed to the function apply_string_macro_expansion |
| SubstValue | SubstValue a service structure used by SubstString. Ignore |
| SymbCache | The public interface of class SymbCache |
| SymbLayer | The wide system symbols layer interface |
| SymbLayerIter | |
| SymbTable | The system wide symbol table interface |
| SymbTableIter | |
| SymbType | An interface to deal with the types of variables (during compilation and type checking |
| table_pair | |
| TermFactoryCallbacks | |
| TimerBench | Public interface of class TimerBench |
| Trace | Trace Class |
| TraceCompact | The private header file for the TraceCompact class |
| TraceDefineFrame | |
| TraceEmpty | Private and protected interface of class 'TraceEmpty' |
| TraceExplainer | The private header file for the TraceExplainer class |
| TraceFrozenFrame | |
| TraceLoader | The private interface of class TraceLoader |
| TraceMgr | TraceMgr Class |
| TraceOpt | Public interface of class 'TraceOpt' |
| TracePlugin | The private interface of class TracePlugin |
| TraceStepIter | Trace vertical iterator type |
| TraceSymbolsIter | Trace vertical iterator type |
| TraceTable | The private header file for the TraceTable class |
| TraceVarFrame | |
| TraceXmlDumper | The private header file for the TraceXmldumper class |
| TraceXmlLoader | This is the xml loader plugin class |
| Triple | Triple class definition |
| Tuple5 | Tuple5 class definition |
| TypeChecker | Public interface of class 'TypeChecker' |
| UStringMgr | Public interface of class 'UStringMgr' |
| VarsHandler | Public interface of class 'VarsHandler' |
| WordNumber | WordNumber struct |
| WordNumberMgr | Public interface of class 'WordNumberMgr' |
| WordNumberValue_intern | Private interface of the class BigWordNumber |
| XmlNodes | |
| YY_BUFFER_STATE | Internal header of the parser package |
1.6.1
