PolyBoRi
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::CCuddInterfaceinlineprotected
apply(void_function func) const polybori::CCuddInterfaceinlineprotected
bool_type typedefpolybori::CAuxTypes
cacheFlush()polybori::CCuddInterfaceinline
callBack(MemberFuncPtr ptr)polybori::CCuddInterfaceinlineprotected
CCuddInterface(size_type numVars, size_type numVarsZ, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0)polybori::CCuddInterfaceinline
CCuddInterface(const self &rhs)polybori::CCuddInterfaceinline
checkedResult(node_ptr result) const polybori::CCuddInterfaceinlineprotected
checkedResult(int result) const polybori::CCuddInterfaceinlineprotected
comp_type typedefpolybori::CAuxTypes
cudd_idx_type typedefpolybori::CCuddInterface
deg_type typedefpolybori::CAuxTypes
errornum_type typedefpolybori::CAuxTypes
errortext_type typedefpolybori::CAuxTypes
getManager() const polybori::CCuddInterfaceinline
getVar(idx_type idx) const polybori::CCuddInterfaceinline
hash_type typedefpolybori::CAuxTypes
idx_type typedefpolybori::CAuxTypes
init(size_type numVars, size_type numVarsZ, size_type numSlots, size_type cacheSize, large_size_type maxMemory)polybori::CCuddInterfaceinlineprotected
initVar(node_ptr &node, idx_type idx) const polybori::CCuddInterfaceinlineprotected
integer_type typedefpolybori::CAuxTypes
large_size_type typedefpolybori::CAuxTypes
mgr_ptr typedefpolybori::CCuddInterface
mgr_type typedefpolybori::CCuddInterface
node_ptr typedefpolybori::CCuddInterface
nVariables() const polybori::CCuddInterfaceinline
operator=(const self &right)polybori::CCuddInterfaceinline
ordercode_type typedefpolybori::CAuxTypes
ostream_type typedefpolybori::CAuxTypes
pManager() const polybori::CCuddInterfaceinline
recursiveDeref(node_ptr node) const polybori::CCuddInterfaceinlineprotected
refcount_type typedefpolybori::CAuxTypes
size_type typedefpolybori::CAuxTypes
unary_int_function typedefpolybori::CCuddInterface
vartext_type typedefpolybori::CAuxTypes
void_function typedefpolybori::CCuddInterface
zddOne(idx_type iMax) const polybori::CCuddInterfaceinline
zddOne() const polybori::CCuddInterfaceinline
zddVar(idx_type idx) const polybori::CCuddInterfaceinline
zddZero() const polybori::CCuddInterfaceinline
~CCuddInterface()polybori::CCuddInterfaceinline