CDDManager Class Reference

this specialization of the template class CDDManager gives an interface to Cudd's ZDD manager. More...


Detailed Description

this specialization of the template class CDDManager gives an interface to Cudd's ZDD manager.
The documentation for this class was generated from the following file:

Generated on Thu Mar 5 05:10:10 2009 for PolyBoRi by  doxygen 1.5.8