#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 (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> polybori::CDDManager< Cudd & >::base |
typedef Cudd polybori::CDDManager< Cudd & >::manager_type |
typedef CDDManager<storage_type> polybori::CDDManager< Cudd & >::self |
typedef Cudd& polybori::CDDManager< Cudd & >::storage_type |
polybori::CDDManager< Cudd & >::CDDManager | ( | manager_type & | rhs | ) | [inline] |
Constructor reference of given manager.
polybori::CDDManager< Cudd & >::CDDManager | ( | const dd_type & | dd | ) | [inline] |
Extract manager from given decision diagram.
polybori::CDDManager< Cudd & >::CDDManager | ( | const self & | rhs | ) | [inline] |
Copy constructor.
polybori::CDDManager< Cudd & >::~CDDManager | ( | ) | [inline] |