PolyBoRi
|
#include <CDDManager.h>
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 (size_type nvars=0) | |
Construct new decision diagramm manager. | |
~CDDManager () |
typedef CDDManagerBase<manager_type, storage_type> polybori::CDDManager< Cudd >::base |
typedef Cudd polybori::CDDManager< Cudd >::manager_type |
typedef CDDManager<storage_type> polybori::CDDManager< Cudd >::self |
Generic access to type of *this.
Reimplemented from polybori::CDDManagerBase< Cudd, Cudd >.
typedef Cudd polybori::CDDManager< Cudd >::storage_type |
polybori::CDDManager< Cudd >::CDDManager | ( | size_type | nvars = 0 | ) | [inline] |
Construct new decision diagramm manager.
polybori::CDDManager< Cudd >::~CDDManager | ( | ) | [inline] |