PolyBoRi
polybori::CCuddInterface Member List
This is the complete list of members for polybori::CCuddInterface, including all inherited members.
AddHook(DD_HFP f, Cudd_HookType where)polybori::CCuddInterface [inline]
apply(unary_int_function func, idx_type idx) const polybori::CCuddInterface [inline, protected]
apply(void_function func) const polybori::CCuddInterface [inline, protected]
bool_type typedefpolybori::CAuxTypes
cacheFlush()polybori::CCuddInterface [inline]
callBack(MemberFuncPtr ptr)polybori::CCuddInterface [inline, protected]
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 [inline, protected]
checkedResult(int result) const polybori::CCuddInterface [inline, protected]
CheckKeys()polybori::CCuddInterface [inline]
comp_type typedefpolybori::CAuxTypes
cudd_idx_type typedefpolybori::CCuddInterface
DebugCheck()polybori::CCuddInterface [inline]
deg_type typedefpolybori::CAuxTypes
DisableReorderingReporting()polybori::CCuddInterface [inline]
EnableReorderingReporting()polybori::CCuddInterface [inline]
errornum_type typedefpolybori::CAuxTypes
errortext_type typedefpolybori::CAuxTypes
getManager() const polybori::CCuddInterface [inline]
getVar(idx_type idx) const polybori::CCuddInterface [inline]
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::CCuddInterface [inline, protected]
initVar(node_ptr &node, idx_type idx) const polybori::CCuddInterface [inline, protected]
integer_type typedefpolybori::CAuxTypes
IsInHook(DD_HFP f, Cudd_HookType where) const polybori::CCuddInterface [inline]
large_size_type typedefpolybori::CAuxTypes
MakeZddTreeNode(size_type low, size_type size, size_type type)polybori::CCuddInterface [inline]
mgr_ptr typedefpolybori::CCuddInterface
mgr_type typedefpolybori::CCuddInterface
node_ptr typedefpolybori::CCuddInterface
nVariables() const polybori::CCuddInterface [inline]
operator=(const self &right)polybori::CCuddInterface [inline]
ordercode_type typedefpolybori::CAuxTypes
ostream_type typedefpolybori::CAuxTypes
pManager() const polybori::CCuddInterface [inline]
Prime(size_type pr) const polybori::CCuddInterface [inline]
PrintLinear()polybori::CCuddInterface [inline]
PrintVersion(FILE *fp) const polybori::CCuddInterface [inline]
ReadInvPermZdd(idx_type idx) const polybori::CCuddInterface [inline]
ReadLinear(int x, int y)polybori::CCuddInterface [inline]
ReadPermZdd(idx_type idx) const polybori::CCuddInterface [inline]
recursiveDeref(node_ptr node) const polybori::CCuddInterface [inline, protected]
refcount_type typedefpolybori::CAuxTypes
RemoveHook(DD_HFP f, Cudd_HookType where)polybori::CCuddInterface [inline]
ReorderingStatusZdd(Cudd_ReorderingType *method) const polybori::CCuddInterface [inline]
size_type typedefpolybori::CAuxTypes
unary_int_function typedefpolybori::CCuddInterface
vartext_type typedefpolybori::CAuxTypes
void_function typedefpolybori::CCuddInterface
zddOne(idx_type iMax) const polybori::CCuddInterface [inline]
zddOne() const polybori::CCuddInterface [inline]
zddPrintSubtable() const polybori::CCuddInterface [inline]
zddReduceHeap(Cudd_ReorderingType heuristic, int minsize)polybori::CCuddInterface [inline]
zddShuffleHeap(int *permutation)polybori::CCuddInterface [inline]
zddSymmProfile(int lower, int upper) const polybori::CCuddInterface [inline]
zddVar(idx_type idx) const polybori::CCuddInterface [inline]
zddZero() const polybori::CCuddInterface [inline]
~CCuddInterface()polybori::CCuddInterface [inline]