cudd
3.0.0
The University of Colorado Decision Diagram Package
|
C_cstringstream | Type of a simple extensible string buffer |
CApproxInfo | Main bookkeeping data structure for approximation algorithms |
CAssortedInfo | Assorted information needed by the BuildSubsetBdd procedure |
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 |
▼CABDD | Class for ADDs and BDDs |
CADD | Class for ADDs |
CBDD | Class for BDDs |
CZDD | Class for ZDDs |
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 |