CDDManager Class Reference

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


Detailed Description

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

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

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

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 Tue May 4 08:22:53 2010 for PolyBoRi by  doxygen 1.6.3