CCuddInterface Member List

This is the complete list of members for CCuddInterface, including all inherited members.
AddHook(DD_HFP f, Cudd_HookType where)CCuddInterface [inline]
apply(unary_int_function func, idx_type idx) const CCuddInterface [inline, protected]
apply(void_function func) const CCuddInterface [inline, protected]
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)CCuddInterface [inline]
CCuddInterface(const self &rhs)CCuddInterface [inline]
CCuddInterface(mgrcore_ptr rhs)CCuddInterface [inline]
checkedResult(node_type result) const CCuddInterface [inline, protected]
checkedResult(idx_type result) const CCuddInterface [inline, protected]
CheckKeys()CCuddInterface [inline]
checkReturnValue(const node_type result) const CCuddInterface [inline]
checkReturnValue(const int result) const CCuddInterface [inline]
const_varname_reference typedefCCuddInterface
core_type typedefCCuddInterface
dd_type typedefCCuddInterface
DebugCheck()CCuddInterface [inline]
DisableReorderingReporting()CCuddInterface [inline]
EnableReorderingReporting()CCuddInterface [inline]
getDiagram(node_type result) const CCuddInterface [inline, protected]
getHandler() const CCuddInterface [inline]
getManager() const CCuddInterface [inline]
getName(idx_type idx) const CCuddInterface [inline]
getVar(idx_type idx) const CCuddInterface [inline]
info() const CCuddInterface [inline]
IsInHook(DD_HFP f, Cudd_HookType where) const CCuddInterface [inline]
isVerbose() const CCuddInterface [inline]
makeTerse()CCuddInterface [inline]
makeVerbose()CCuddInterface [inline]
MakeZddTreeNode(size_type low, size_type size, size_type type)CCuddInterface [inline]
managerCore() const CCuddInterface [inline]
mgrcore_ptr typedefCCuddInterface
nVariables() const CCuddInterface [inline]
operator=(const self &right)CCuddInterface [inline]
Prime(size_type pr) const CCuddInterface [inline]
PrintLinear()CCuddInterface [inline]
PrintVersion(FILE *fp) const CCuddInterface [inline]
ReadInvPermZdd(idx_type i) const CCuddInterface [inline]
ReadLinear(int x, int y)CCuddInterface [inline]
ReadPermZdd(idx_type i) const CCuddInterface [inline]
RemoveHook(DD_HFP f, Cudd_HookType where)CCuddInterface [inline]
ReorderingStatusZdd(Cudd_ReorderingType *method) const CCuddInterface [inline]
self typedefCCuddInterface
setHandler(errorfunc_type newHandler)CCuddInterface [inline]
setName(idx_type idx, const_varname_reference varname)CCuddInterface [inline]
SharingSize(dd_type *nodes, int nlen) const CCuddInterface [inline]
tmp_ref typedefCCuddInterface
variable_names_type typedefCCuddInterface
zddOne(idx_type iMax) const CCuddInterface [inline]
zddOne() const CCuddInterface [inline]
zddPrintSubtable() const CCuddInterface [inline]
zddReduceHeap(Cudd_ReorderingType heuristic, int minsize)CCuddInterface [inline]
zddShuffleHeap(int *permutation)CCuddInterface [inline]
zddSymmProfile(int lower, int upper) const CCuddInterface [inline]
zddVar(idx_type idx) const CCuddInterface [inline]
zddZero() const CCuddInterface [inline]
~CCuddInterface()CCuddInterface [inline]
Generated on Wed May 5 19:06:01 2010 for PolyBoRi by  doxygen 1.6.3