TdZdd
1.1
A top-down/breadth-first decision diagram manipulation framework
|
▼Ntdzdd | |
CBddCardinality | BDD evaluator that counts the number of elements |
CDdBuilder | Basic breadth-first DD builder |
CDdBuilderMP | Multi-threaded breadth-first DD builder |
CDdDumper | DD dumper |
CDdEval | Base class of DD evaluators |
CDdSpec | Abstract class of DD specifications using scalar states |
CDdSpecBase | Base class of DD specs |
▼CDdStructure | Ordered n-ary decision diagram structure |
Cconst_iterator | Iterator on a set of integer vectors represented by a DD |
CDdSweeper | On-the-fly DD cleaner |
CDdValues | Collection of child node values/levels for DdEval::evalNode function interface |
CHybridDdSpec | Abstract class of DD specifications using both scalar and POD array states |
CMemoryPool | Memory pool |
CMyHashMap | Closed hash map implementation |
CMyHashMapEntry | Entry for a hash map |
CMyHashTable | Closed hash table implementation |
CPodArrayDdSpec | Abstract class of DD specifications using POD array states |
CSapporoZdd | ZBDD wrapper |
CStatelessDdSpec | Abstract class of DD specifications without states |
CToZBDD | Exporter to ZBDD |
CZddCardinality | ZDD evaluator that counts the number of elements |
CZddSubsetter | Breadth-first ZDD subset builder |
CZddSubsetterMP | Multi-threaded breadth-first ZDD subset builder |