|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
| C_cstringstream | Type of a simple extensible string buffer |
| CABDD | Class for ADDs and BDDs |
| CADD | Class for ADDs |
| CApproxInfo | Main bookkeeping data structure for approximation algorithms |
| CAssortedInfo | Assorted information needed by the BuildSubsetBdd procedure |
| CBDD | Class for BDDs |
| CBnetNetwork | Very simple boolean network data structure |
| CBnetNode | Node of the boolean network |
| CBnetTabline | Type to store a line of the truth table of a node |
| CCapsule | Class for reference counting of CUDD managers |
| CConjuncts | Type of a pair of conjoined BDDs |
| CCudd | Class for CUDD managers |
| CcuddPathPair | Type of item stored in memoization table |
| CDD | Base class for all decision diagrams in CUDD |
| CDdCache | Computed table |
| CDdChildren | The two children of a non-terminal node |
| CDdGen | CUDD generator |
| CDdHashItem | Local hash table item |
| CDdHashTable | Local hash table |
| CDdHook | CUDD hook |
| CDdLevelQueue | Level queue |
| CDdLocalCache | Local cache |
| CDdLocalCacheItem | Generic local cache item |
| CDdManager | Specialized DD symbol table |
| CDdNode | Decision diagram node |
| CDdQueueItem | Generic level queue item |
| CDdSubtable | Subtable for one index |
| CDdTlcInfo | This structure holds the set of clauses for a node |
| CEpDoubleStruct | Extended precision double to keep very large value |
| CEpTypeUnion | Different views of a double |
| CflowStatsStruct | Structure to hold statistics |
| CGeneticInfo | Miscellaneous information |
| CGlobalInfo | Bookkeeping data structure for subsetting algorithm |
| CGlobalQueueItem | Item of the queue used in the levelized traversal of the BDD |
| Chack | This is a hack for when CUDD_VALUE_TYPE is double |
| ChashEntry | |
| CIeeeDoubleStruct | IEEE double struct |
| CIeeeNanStruct | IEEE double NaN struct |
| CIndexKey | Used to sort variables for reordering |
| CjoinThreads | Class to join threads in RAII fashion |
| CLocalQueueItem | Type of the item of the local queue |
| CMarkCacheKey | |
| CMove | Reordering move record |
| CMtrNode_ | Multi-way tree node |
| Cmys | Just some struct type |
| CNodeData | Data structure to store the information on each node |
| CNodeDist | Structure created to store subset results for each node and distances with odd and even parity of the node from the root and sink |
| CNodeStat | Stats for one node |
| CNtrHeap | Heap-based priority queue |
| CNtrHeapSlot | Entry of NtrHeap |
| CNtrOptions | Options for nanotrav |
| CNtrPartTR | Data structure for partitioned transition relation |
| Cst_generator | Symbol table generator |
| Cst_table | Symbol table header |
| Cst_table_entry | Symbol table entry |
| CSubsetInfo | Miscellaneous info |
| CTask | Taks performed by each thread |
| CTlClause | This structure is for temporary representation of sets of clauses |
| CZDD | Class for ZDDs |
1.8.11
