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