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