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