TdZdd  1.1
A top-down/breadth-first decision diagram manipulation framework
File List
Here is a list of all documented files with brief descriptions:
[detail level 1234]
  include
  tdzdd
  dd
 DataTable.hpp
 DdBuilder.hpp
 DdReducer.hpp
 DdSweeper.hpp
 DepthFirstSearcher.hpp
 Node.hpp
 NodeTable.hpp
 PathCounter.hpp
  eval
 Cardinality.hpp
 ToZBDD.hpp
  op
 BinaryOperation.hpp
 Lookahead.hpp
 Unreduction.hpp
  spec
 DegreeConstraint.hpp
 FrontierBasedSearch.hpp
 GraphillionZdd.hpp
 LinearConstraints.hpp
 PathZdd.hpp
 PathZddByStdMap.hpp
 SapporoZdd.hpp
 SizeConstraint.hpp
  util
 BigNumber.hpp
 demangle.hpp
 Graph.hpp
 IntSubset.hpp
 MemoryPool.hpp
 MessageHandler.hpp
 MyHashTable.hpp
 MyList.hpp
 MySet.hpp
 MyVector.hpp
 ResourceUsage.hpp
 DdEval.hpp
 DdSpec.hpp
 DdSpecOp.hpp
 DdStructure.hpp