CDDManager Class Reference

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

#include <CDDManager.h>


Detailed Description

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

Generated on Fri Apr 3 20:47:30 2009 for PolyBoRi by  doxygen 1.5.8