, 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 typedef | CCuddInterface | |
core_type typedef | CCuddInterface | |
dd_type typedef | CCuddInterface | |
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 typedef | CCuddInterface | |
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 typedef | CCuddInterface | |
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 typedef | CCuddInterface | |
variable_names_type typedef | CCuddInterface | |
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] |