TdZdd  1.1
A top-down/breadth-first decision diagram manipulation framework
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123]
 Ntdzdd
 CBddCardinalityBDD evaluator that counts the number of elements
 CDdBuilderBasic breadth-first DD builder
 CDdBuilderMPMulti-threaded breadth-first DD builder
 CDdDumperDD dumper
 CDdEvalBase class of DD evaluators
 CDdSpecAbstract class of DD specifications using scalar states
 CDdSpecBaseBase class of DD specs
 CDdStructureOrdered n-ary decision diagram structure
 Cconst_iteratorIterator on a set of integer vectors represented by a DD
 CDdSweeperOn-the-fly DD cleaner
 CDdValuesCollection of child node values/levels for DdEval::evalNode function interface
 CHybridDdSpecAbstract class of DD specifications using both scalar and POD array states
 CMemoryPoolMemory pool
 CMyHashMapClosed hash map implementation
 CMyHashMapEntryEntry for a hash map
 CMyHashTableClosed hash table implementation
 CPodArrayDdSpecAbstract class of DD specifications using POD array states
 CSapporoZddZBDD wrapper
 CStatelessDdSpecAbstract class of DD specifications without states
 CToZBDDExporter to ZBDD
 CZddCardinalityZDD evaluator that counts the number of elements
 CZddSubsetterBreadth-first ZDD subset builder
 CZddSubsetterMPMulti-threaded breadth-first ZDD subset builder