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