This is the complete list of members for polybori::CCuddInterface, including all inherited members.
apply(unary_int_function func, idx_type idx) const | polybori::CCuddInterface | inlineprotected |
apply(void_function func) const | polybori::CCuddInterface | inlineprotected |
bool_type typedef | polybori::CAuxTypes | |
cacheFlush() | polybori::CCuddInterface | inline |
callBack(MemberFuncPtr ptr) | polybori::CCuddInterface | inlineprotected |
CCuddInterface(size_type numVars, size_type numVarsZ, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0) | polybori::CCuddInterface | inline |
CCuddInterface(const self &rhs) | polybori::CCuddInterface | inline |
checkedResult(node_ptr result) const | polybori::CCuddInterface | inlineprotected |
checkedResult(int result) const | polybori::CCuddInterface | inlineprotected |
comp_type typedef | polybori::CAuxTypes | |
cudd_idx_type typedef | polybori::CCuddInterface | |
deg_type typedef | polybori::CAuxTypes | |
errornum_type typedef | polybori::CAuxTypes | |
errortext_type typedef | polybori::CAuxTypes | |
getManager() const | polybori::CCuddInterface | inline |
getVar(idx_type idx) const | polybori::CCuddInterface | inline |
hash_type typedef | polybori::CAuxTypes | |
idx_type typedef | polybori::CAuxTypes | |
init(size_type numVars, size_type numVarsZ, size_type numSlots, size_type cacheSize, large_size_type maxMemory) | polybori::CCuddInterface | inlineprotected |
initVar(node_ptr &node, idx_type idx) const | polybori::CCuddInterface | inlineprotected |
integer_type typedef | polybori::CAuxTypes | |
large_size_type typedef | polybori::CAuxTypes | |
mgr_ptr typedef | polybori::CCuddInterface | |
mgr_type typedef | polybori::CCuddInterface | |
node_ptr typedef | polybori::CCuddInterface | |
nVariables() const | polybori::CCuddInterface | inline |
operator=(const self &right) | polybori::CCuddInterface | inline |
ordercode_type typedef | polybori::CAuxTypes | |
ostream_type typedef | polybori::CAuxTypes | |
pManager() const | polybori::CCuddInterface | inline |
recursiveDeref(node_ptr node) const | polybori::CCuddInterface | inlineprotected |
refcount_type typedef | polybori::CAuxTypes | |
size_type typedef | polybori::CAuxTypes | |
unary_int_function typedef | polybori::CCuddInterface | |
vartext_type typedef | polybori::CAuxTypes | |
void_function typedef | polybori::CCuddInterface | |
zddOne(idx_type iMax) const | polybori::CCuddInterface | inline |
zddOne() const | polybori::CCuddInterface | inline |
zddVar(idx_type idx) const | polybori::CCuddInterface | inline |
zddZero() const | polybori::CCuddInterface | inline |
~CCuddInterface() | polybori::CCuddInterface | inline |