addRef() | CCuddCore | [inline] |
CCuddCore(size_type numVars=0, size_type numVarsZ=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, large_size_type maxMemory=0) | CCuddCore | [inline] |
const_varname_reference typedef | CCuddCore | |
errorHandler | CCuddCore | [static] |
m_names | CCuddCore | |
m_vars | CCuddCore | |
manager | CCuddCore | |
mgrcore_ptr typedef | CCuddCore | |
ref | CCuddCore | |
release() | CCuddCore | [inline] |
self typedef | CCuddCore | |
variable_names_type typedef | CCuddCore | |
verbose | CCuddCore | [static] |
~CCuddCore() | CCuddCore | [inline] |