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]
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::CCuddInterface [inline]
CCuddInterface(const self &rhs)polybori::CCuddInterface [inline]
CCuddInterface(mgrcore_ptr rhs)polybori::CCuddInterface [inline]
checkedResult(node_type result) const polybori::CCuddInterface [inline, protected]
checkedResult(idx_type result) const polybori::CCuddInterface [inline, protected]
CheckKeys()polybori::CCuddInterface [inline]
checkReturnValue(const node_type result) const polybori::CCuddInterface [inline]
checkReturnValue(const int result) const polybori::CCuddInterface [inline]
const_varname_reference typedefpolybori::CCuddInterface
core_type typedefpolybori::CCuddInterface
dd_type typedefpolybori::CCuddInterface
DebugCheck()polybori::CCuddInterface [inline]
DisableReorderingReporting()polybori::CCuddInterface [inline]
EnableReorderingReporting()polybori::CCuddInterface [inline]
errorfunc_type typedefpolybori::CCuddInterface
getDiagram(node_type result) const polybori::CCuddInterface [inline, protected]
getHandler() const polybori::CCuddInterface [inline]
getManager() const polybori::CCuddInterface [inline]
getName(idx_type idx) const polybori::CCuddInterface [inline]
getVar(idx_type idx) const polybori::CCuddInterface [inline]
idx_type typedefpolybori::CCuddInterface
info() const polybori::CCuddInterface [inline]
int_unary_function typedefpolybori::CCuddInterface
IsInHook(DD_HFP f, Cudd_HookType where) const polybori::CCuddInterface [inline]
isVerbose() const polybori::CCuddInterface [inline]
large_size_type typedefpolybori::CCuddInterface
makeTerse()polybori::CCuddInterface [inline]
makeVerbose()polybori::CCuddInterface [inline]
MakeZddTreeNode(size_type low, size_type size, size_type type)polybori::CCuddInterface [inline]
managerCore() const polybori::CCuddInterface [inline]
mgrcore_ptr typedefpolybori::CCuddInterface
mgrcore_type typedefpolybori::CCuddInterface
node_type typedefpolybori::CCuddInterface
nVariables() const polybori::CCuddInterface [inline]
operator=(const self &right)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 i) const polybori::CCuddInterface [inline]
ReadLinear(int x, int y)polybori::CCuddInterface [inline]
ReadPermZdd(idx_type i) const polybori::CCuddInterface [inline]
refcount_type typedefpolybori::CCuddInterface
RemoveHook(DD_HFP f, Cudd_HookType where)polybori::CCuddInterface [inline]
ReorderingStatusZdd(Cudd_ReorderingType *method) const polybori::CCuddInterface [inline]
self typedefpolybori::CCuddInterface
setHandler(errorfunc_type newHandler)polybori::CCuddInterface [inline]
setName(idx_type idx, const_varname_reference varname)polybori::CCuddInterface [inline]
SharingSize(dd_type *nodes, int nlen) const polybori::CCuddInterface [inline]
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::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]


Generated on Mon Jul 13 21:14:09 2009 for PolyBoRi by  doxygen 1.5.9