CDDManager< Cudd > Class Template Reference
#include <CDDManager.h>
Inheritance diagram for CDDManager< Cudd >:
Public Types | |
| typedef Cudd | manager_type |
| typedef Cudd | storage_type |
| typedef CDDManagerBase < manager_type, storage_type > | base |
| typedef CDDManager< storage_type > | self |
| Generic access to type of *this. | |
Public Member Functions | |
| CDDManager (size_type nvars=0) | |
| Construct new decision diagramm manager. | |
| ~CDDManager () | |
template<>
class CDDManager< Cudd >
Member Typedef Documentation
| typedef CDDManagerBase<manager_type, storage_type> CDDManager< Cudd >::base |
| typedef Cudd CDDManager< Cudd >::manager_type |
| typedef CDDManager<storage_type> CDDManager< Cudd >::self |
Generic access to type of *this.
Reimplemented from CDDManagerBase< Cudd, Cudd >.
| typedef Cudd CDDManager< Cudd >::storage_type |
Constructor & Destructor Documentation
| CDDManager< Cudd >::CDDManager | ( | size_type | nvars = 0 |
) | [inline] |
Construct new decision diagramm manager.
| CDDManager< Cudd >::~CDDManager | ( | ) | [inline] |
The documentation for this class was generated from the following file:
