CDDManager Class Reference

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


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: