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::CCuddInterfaceinline
apply(unary_int_function func, idx_type idx) const polybori::CCuddInterfaceinlineprotected
apply(void_function func) const polybori::CCuddInterfaceinlineprotected
binary_function typedefpolybori::CCuddInterface
binary_int_function typedefpolybori::CCuddInterface
CCuddInterface(size_type numVars=0, size_type numVarsZ=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0)polybori::CCuddInterfaceinline
CCuddInterface(const self &rhs)polybori::CCuddInterfaceinline
CCuddInterface(mgrcore_ptr rhs)polybori::CCuddInterfaceinline
checkedResult(node_type result) const polybori::CCuddInterfaceinlineprotected
checkedResult(idx_type result) const polybori::CCuddInterfaceinlineprotected
CheckKeys()polybori::CCuddInterfaceinline
checkReturnValue(const node_type result) const polybori::CCuddInterfaceinline
checkReturnValue(const int result) const polybori::CCuddInterfaceinline
const_varname_reference typedefpolybori::CCuddInterface
core_type typedefpolybori::CCuddInterface
dd_type typedefpolybori::CCuddInterface
DebugCheck()polybori::CCuddInterfaceinline
DisableReorderingReporting()polybori::CCuddInterfaceinline
EnableReorderingReporting()polybori::CCuddInterfaceinline
errorfunc_type typedefpolybori::CCuddInterface
getDiagram(node_type result) const polybori::CCuddInterfaceinlineprotected
getHandler() const polybori::CCuddInterfaceinline
getManager() const polybori::CCuddInterfaceinline
getName(idx_type idx) const polybori::CCuddInterfaceinline
getVar(idx_type idx) const polybori::CCuddInterfaceinline
idx_type typedefpolybori::CCuddInterface
info() const polybori::CCuddInterfaceinline
int_unary_function typedefpolybori::CCuddInterface
IsInHook(DD_HFP f, Cudd_HookType where) const polybori::CCuddInterfaceinline
isVerbose() const polybori::CCuddInterfaceinline
large_size_type typedefpolybori::CCuddInterface
makeTerse()polybori::CCuddInterfaceinline
makeVerbose()polybori::CCuddInterfaceinline
MakeZddTreeNode(size_type low, size_type size, size_type type)polybori::CCuddInterfaceinline
managerCore() const polybori::CCuddInterfaceinline
mgrcore_ptr typedefpolybori::CCuddInterface
mgrcore_type typedefpolybori::CCuddInterface
node_type typedefpolybori::CCuddInterface
nVariables() const polybori::CCuddInterfaceinline
operator=(const self &right)polybori::CCuddInterfaceinline
Prime(size_type pr) const polybori::CCuddInterfaceinline
PrintLinear()polybori::CCuddInterfaceinline
PrintVersion(FILE *fp) const polybori::CCuddInterfaceinline
ReadInvPermZdd(idx_type i) const polybori::CCuddInterfaceinline
ReadLinear(int x, int y)polybori::CCuddInterfaceinline
ReadPermZdd(idx_type i) const polybori::CCuddInterfaceinline
refcount_type typedefpolybori::CCuddInterface
RemoveHook(DD_HFP f, Cudd_HookType where)polybori::CCuddInterfaceinline
ReorderingStatusZdd(Cudd_ReorderingType *method) const polybori::CCuddInterfaceinline
self typedefpolybori::CCuddInterface
setHandler(errorfunc_type newHandler)polybori::CCuddInterfaceinline
setName(idx_type idx, const_varname_reference varname)polybori::CCuddInterfaceinline
SharingSize(dd_type *nodes, int nlen) const polybori::CCuddInterfaceinline
size_type typedefpolybori::CCuddInterface
ternary_function typedefpolybori::CCuddInterface
tmp_ref typedefpolybori::CCuddInterface
unary_int_function typedefpolybori::CCuddInterface
variable_names_type typedefpolybori::CCuddInterface
void_function typedefpolybori::CCuddInterface
zddOne(idx_type iMax) const polybori::CCuddInterfaceinline
zddOne() const polybori::CCuddInterfaceinline
zddPrintSubtable() const polybori::CCuddInterfaceinline
zddReduceHeap(Cudd_ReorderingType heuristic, int minsize)polybori::CCuddInterfaceinline
zddShuffleHeap(int *permutation)polybori::CCuddInterfaceinline
zddSymmProfile(int lower, int upper) const polybori::CCuddInterfaceinline
zddVar(idx_type idx) const polybori::CCuddInterfaceinline
zddZero() const polybori::CCuddInterfaceinline
~CCuddInterface()polybori::CCuddInterfaceinline