, including all inherited members.
base typedef | polybori::CDDManager< Cudd & > | |
blank() const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
CDDManager(manager_type &rhs) | polybori::CDDManager< Cudd & > | [inline] |
CDDManager(const dd_type &dd) | polybori::CDDManager< Cudd & > | [inline] |
CDDManager(const self &rhs) | polybori::CDDManager< Cudd & > | [inline] |
CDDManagerBase(size_type nvars=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0) | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
CDDManagerBase(const self &rhs) | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
CDDManagerBase(const interfaced_type &rhs) | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
CDDManagerBase(const dd_type &dd) | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
const_varname_reference typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
dd_base typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
dd_type typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
ddVariable(idx_type nvar) const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
empty() const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
fetchDiagram(const dd_base &rhs) const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
getVariableName(idx_type idx) const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
idx_type typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
interfaced_store typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
interfaced_type typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
manager() | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
manager() const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
manager_type typedef | polybori::CDDManager< Cudd & > | |
nVariables() const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
operator const interfaced_type &() const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
operator interfaced_type &() | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
persistent_cache_type typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
persistentVariable(idx_type nvar) const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
printInfo() const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
self typedef | polybori::CDDManager< Cudd & > | |
setVariableName(idx_type idx, const_varname_reference varname) | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
size_type typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
storage_type typedef | polybori::CDDManager< Cudd & > | |
variable(idx_type nvar) const | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |
variable_names_type typedef | polybori::CDDManagerBase< Cudd, Cudd & > | |
~CDDManager() | polybori::CDDManager< Cudd & > | [inline] |
~CDDManagerBase() | polybori::CDDManagerBase< Cudd, Cudd & > | [inline] |