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.
Reimplemented in polybori::CDDManager< Cudd & >, polybori::CDDManager< Cudd >, polybori::CDDManager< CCuddInterface & >, and polybori::CDDManager< CCuddInterface >.
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.
polybori::CDDManagerBase< CuddLikeManType, StorageType >::CDDManagerBase | ( | size_type | nvars = 0 , |
|
size_type | numSlots = CUDD_UNIQUE_SLOTS , |
|||
size_type | cacheSize = CUDD_CACHE_SLOTS , |
|||
unsigned long | maxMemory = 0 | |||
) | [inline] |
Default constructor.
polybori::CDDManagerBase< CuddLikeManType, StorageType >::CDDManagerBase | ( | const self & | rhs | ) | [inline] |
Copy constructor.
polybori::CDDManagerBase< CuddLikeManType, StorageType >::CDDManagerBase | ( | const interfaced_type & | rhs | ) | [inline] |
Constructor from given ring.
polybori::CDDManagerBase< CuddLikeManType, StorageType >::CDDManagerBase | ( | const dd_type & | dd | ) | [inline] |
Extract manager from given decision diagram.
polybori::CDDManagerBase< CuddLikeManType, StorageType >::~CDDManagerBase | ( | ) | [inline] |
Destructor.
dd_type polybori::CDDManagerBase< CuddLikeManType, StorageType >::blank | ( | ) | const [inline] |
Get decision diagram with all variables negated
dd_base polybori::CDDManagerBase< CuddLikeManType, StorageType >::ddVariable | ( | idx_type | nvar | ) | const [inline] |
Access nvar-th managed variable.
dd_type polybori::CDDManagerBase< CuddLikeManType, StorageType >::empty | ( | ) | const [inline] |
Get empty decision diagram
dd_base polybori::CDDManagerBase< CuddLikeManType, StorageType >::fetchDiagram | ( | const dd_base & | rhs | ) | const [inline] |
Get decision diagram, from the same manager, but different wrapper.
const_varname_reference polybori::CDDManagerBase< CuddLikeManType, StorageType >::getVariableName | ( | idx_type | idx | ) | const [inline] |
Get name of variable with index idx.
const interfaced_type& polybori::CDDManagerBase< CuddLikeManType, StorageType >::manager | ( | ) | const [inline] |
Get interfaced type.
interfaced_type& polybori::CDDManagerBase< CuddLikeManType, StorageType >::manager | ( | ) | [inline] |
Get interfaced type.
size_type polybori::CDDManagerBase< CuddLikeManType, StorageType >::nVariables | ( | ) | const [inline] |
Get number of managed variables.
polybori::CDDManagerBase< CuddLikeManType, StorageType >::operator const interfaced_type & | ( | ) | const [inline] |
Constant casting operator to interfaced type.
polybori::CDDManagerBase< CuddLikeManType, StorageType >::operator interfaced_type & | ( | ) | [inline] |
Casting operator to interfaced type.
dd_base polybori::CDDManagerBase< CuddLikeManType, StorageType >::persistentVariable | ( | idx_type | nvar | ) | const [inline] |
Access nvar-th managed variable.
void polybori::CDDManagerBase< CuddLikeManType, StorageType >::printInfo | ( | ) | const [inline] |
Print out statistics and settings for a decision diagram manager.
void polybori::CDDManagerBase< CuddLikeManType, StorageType >::setVariableName | ( | idx_type | idx, | |
const_varname_reference | varname | |||
) | [inline] |
Set name of variable with index idx.
dd_base polybori::CDDManagerBase< CuddLikeManType, StorageType >::variable | ( | idx_type | nvar | ) | const [inline] |
Access nvar-th managed variable.