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 (manager_type &rhs) | |
| Constructor reference of given manager. | |
| CDDManager (const dd_type &dd) | |
| Extract manager from given decision diagram. | |
| CDDManager (const self &rhs) | |
| Copy constructor. | |
| ~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 | ( | manager_type & | rhs | ) | [inline] |
Constructor reference of given manager.
| CDDManager< Cudd & >::CDDManager | ( | const dd_type & | dd | ) | [inline] |
Extract manager from given decision diagram.
| CDDManager< Cudd & >::CDDManager | ( | const self & | rhs | ) | [inline] |
Copy constructor.
| CDDManager< Cudd & >::~CDDManager | ( | ) | [inline] |
The documentation for this class was generated from the following file:
