PolyBoRi
|
#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 |
![]() | |
typedef CCuddInterface | interfaced_type |
Interfacing Cudd's or CCuddInterces's zero-suppressed decision diagram type. | |
typedef const CCuddInterface & | interfaced_store |
Storing interfaced_type or reference of it. | |
typedef CDDManagerBase < interfaced_type, interfaced_store > | self |
Generic access to type of *this. | |
typedef CTypes::size_type | size_type |
Define size type. | |
typedef CTypes::idx_type | idx_type |
Define index type. | |
typedef manager_traits < interfaced_type >::dd_base | dd_base |
Define raw type for decision diagrams. | |
typedef CDDInterface< dd_base > | dd_type |
Define type for decision diagrams. | |
typedef std::map< idx_type, dd_base > | persistent_cache_type |
Define type for caching persistent variables. | |
typedef CVariableNames | variable_names_type |
Define type for storing names of variables. | |
typedef variable_names_type::const_reference | const_varname_reference |
Define type for getting names of variables. |
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 () | |
![]() | |
CDDManagerBase (size_type nvars=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0) | |
Default constructor. | |
CDDManagerBase (const self &rhs) | |
Copy constructor. | |
CDDManagerBase (const interfaced_type &rhs) | |
Constructor from given ring. | |
CDDManagerBase (const dd_type &dd) | |
Extract manager from given decision diagram. | |
~CDDManagerBase () | |
Destructor. | |
dd_base | fetchDiagram (const dd_base &rhs) const |
Get decision diagram, from the same manager, but different wrapper. | |
dd_base | ddVariable (idx_type nvar) const |
Access nvar-th managed variable. | |
dd_base | variable (idx_type nvar) const |
Access nvar-th managed variable. | |
dd_base | persistentVariable (idx_type nvar) const |
Access nvar-th managed variable. | |
size_type | nVariables () const |
Get number of managed variables. | |
dd_type | empty () const |
dd_type | blank () const |
operator interfaced_type & () | |
Casting operator to interfaced type. | |
operator const interfaced_type & () const | |
Constant casting operator to interfaced type. | |
interfaced_type & | manager () |
Get interfaced type. | |
const interfaced_type & | manager () const |
Get interfaced type. | |
void | printInfo () const |
Print out statistics and settings for a decision diagram manager. | |
void | setVariableName (idx_type idx, const_varname_reference varname) |
Set name of variable with index idx. | |
const_varname_reference | getVariableName (idx_type idx) const |
Get name of variable with index idx. |
typedef CDDManagerBase<manager_type, storage_type> polybori::CDDManager< CCuddInterface & >::base |
typedef CCuddInterface polybori::CDDManager< CCuddInterface & >::manager_type |
typedef CDDManager<CCuddInterface&> polybori::CDDManager< CCuddInterface & >::self |
typedef const CCuddInterface& polybori::CDDManager< CCuddInterface & >::storage_type |
|
inline |
Constructor reference of given manager.
|
inline |
Extract manager from given decision diagram.
|
inline |
Copy constructor.
|
inline |