CDDManager< CCuddInterface & > Class Template Reference
#include <CDDManager.h>
Inheritance diagram for CDDManager< CCuddInterface & >:
Public Types | |
| typedef CCuddInterface | manager_type |
| typedef const CCuddInterface & | storage_type |
| typedef CDDManagerBase < manager_type, storage_type > | base |
| typedef CDDManager < CCuddInterface & > | self |
| Generic access to type of *this. | |
Public Member Functions | |
| CDDManager (const 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< CCuddInterface & >
Member Typedef Documentation
| typedef CDDManagerBase<manager_type, storage_type> CDDManager< CCuddInterface & >::base |
| typedef CCuddInterface CDDManager< CCuddInterface & >::manager_type |
| typedef CDDManager<CCuddInterface&> CDDManager< CCuddInterface & >::self |
Generic access to type of *this.
Reimplemented from CDDManagerBase< CCuddInterface, const CCuddInterface & >.
| typedef const CCuddInterface& CDDManager< CCuddInterface & >::storage_type |
Constructor & Destructor Documentation
| CDDManager< CCuddInterface & >::CDDManager | ( | const manager_type & | rhs | ) | [inline] |
Constructor reference of given manager.
| CDDManager< CCuddInterface & >::CDDManager | ( | const dd_type & | dd | ) | [inline] |
Extract manager from given decision diagram.
| CDDManager< CCuddInterface & >::CDDManager | ( | const self & | rhs | ) | [inline] |
Copy constructor.
| CDDManager< CCuddInterface & >::~CDDManager | ( | ) | [inline] |
The documentation for this class was generated from the following file:
