polybori::CCuddInterface Member List

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 | inline protected
apply(void_function func) const | polybori::CCuddInterface | inline protected
bool_type typedef | polybori::CAuxTypes |
cacheFlush() | polybori::CCuddInterface | inline
callBack(MemberFuncPtr ptr) | polybori::CCuddInterface | inline protected
CCuddInterface(size_type numVars, size_type numVarsZ, size_type numSlots=256, size_type cacheSize=262144, unsigned long maxMemory=0) | polybori::CCuddInterface | inline
CCuddInterface(const self &rhs) | polybori::CCuddInterface | inline
checkedResult(node_ptr result) const | polybori::CCuddInterface | inline protected
checkedResult(int result) const | polybori::CCuddInterface | inline protected
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 | inline protected
initVar(node_ptr &node, idx_type idx) const | polybori::CCuddInterface | inline protected
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 | inline protected
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