CDDManager Class Reference

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

Detailed Description

this specialization of the template class CDDManager gives an interface to CCuddInterface's ZDD manager reference.
The documentation for this class was generated from the following file:
Generated on Fri May 2 05:39:52 2008 for PolyBoRi by  doxygen 1.5.5