#include <CDDManager.h>
Inheritance diagram for polybori::CDDManager< Cudd >:
Public Types | |
| typedef Cudd | manager_type |
| typedef Cudd | storage_type |
| typedef CDDManagerBase < manager_type, storage_type > | base |
| typedef CDDManager< storage_type > | self |
 Public Types inherited from polybori::CDDManagerBase< Cudd, Cudd > | |
| typedef Cudd | interfaced_type |
| Interfacing Cudd's or CCuddInterces's zero-suppressed decision diagram type. | |
| typedef Cudd | 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 (size_type nvars=0) | |
| Construct new decision diagramm manager. | |
| ~CDDManager () | |
| Public Member Functions inherited from polybori::CDDManagerBase< Cudd, Cudd > | |
| 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. | |
Member Typedef Documentation
| 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 |
Constructor & Destructor Documentation
|
inline |
Construct new decision diagramm manager.
|
inline |
The documentation for this class was generated from the following file:
