#include <CDDManager.h>
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 () |
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 |
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] |