PolyBoRi
|
this specialization of the template class CDDManager gives an interface to Cudd-like ZDD manager (StorageType = CuddLikeManType) or a reference of the latter (StorageType = CuddLikeManType&). More...
#include <CDDManager.h>
Public Types | |
typedef CuddLikeManType | interfaced_type |
Interfacing Cudd's or CCuddInterces's zero-suppressed decision diagram type. | |
typedef StorageType | 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 | |
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. |
this specialization of the template class CDDManager gives an interface to Cudd-like ZDD manager (StorageType = CuddLikeManType) or a reference of the latter (StorageType = CuddLikeManType&).
typedef variable_names_type::const_reference polybori::CDDManagerBase< CuddLikeManType, StorageType >::const_varname_reference |
Define type for getting names of variables.
typedef manager_traits<interfaced_type>::dd_base polybori::CDDManagerBase< CuddLikeManType, StorageType >::dd_base |
Define raw type for decision diagrams.
typedef CDDInterface<dd_base> polybori::CDDManagerBase< CuddLikeManType, StorageType >::dd_type |
Define type for decision diagrams.
typedef CTypes::idx_type polybori::CDDManagerBase< CuddLikeManType, StorageType >::idx_type |
Define index type.
typedef StorageType polybori::CDDManagerBase< CuddLikeManType, StorageType >::interfaced_store |
Storing interfaced_type or reference of it.
typedef CuddLikeManType polybori::CDDManagerBase< CuddLikeManType, StorageType >::interfaced_type |
Interfacing Cudd's or CCuddInterces's zero-suppressed decision diagram type.
typedef std::map<idx_type, dd_base> polybori::CDDManagerBase< CuddLikeManType, StorageType >::persistent_cache_type |
Define type for caching persistent variables.
typedef CDDManagerBase<interfaced_type, interfaced_store> polybori::CDDManagerBase< CuddLikeManType, StorageType >::self |
Generic access to type of *this.
typedef CTypes::size_type polybori::CDDManagerBase< CuddLikeManType, StorageType >::size_type |
Define size type.
typedef CVariableNames polybori::CDDManagerBase< CuddLikeManType, StorageType >::variable_names_type |
Define type for storing names of variables.
|
inline |
Default constructor.
|
inline |
Copy constructor.
|
inline |
Constructor from given ring.
|
inline |
Extract manager from given decision diagram.
|
inline |
Destructor.
|
inline |
Get decision diagram with all variables negated
|
inline |
Access nvar-th managed variable.
|
inline |
Get empty decision diagram
|
inline |
Get decision diagram, from the same manager, but different wrapper.
|
inline |
Get name of variable with index idx.
|
inline |
Get interfaced type.
|
inline |
Get interfaced type.
|
inline |
Get number of managed variables.
|
inline |
Constant casting operator to interfaced type.
|
inline |
Casting operator to interfaced type.
|
inline |
Access nvar-th managed variable.
|
inline |
Print out statistics and settings for a decision diagram manager.
|
inline |
Set name of variable with index idx.
|
inline |
Access nvar-th managed variable.