, 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 typedef | polybori::CCuddInterface | |
binary_int_function typedef | polybori::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 typedef | polybori::CCuddInterface | |
core_type typedef | polybori::CCuddInterface | |
dd_type typedef | polybori::CCuddInterface | |
DebugCheck() | polybori::CCuddInterface | [inline] |
DisableReorderingReporting() | polybori::CCuddInterface | [inline] |
EnableReorderingReporting() | polybori::CCuddInterface | [inline] |
errorfunc_type typedef | polybori::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 typedef | polybori::CCuddInterface | |
info() const | polybori::CCuddInterface | [inline] |
int_unary_function typedef | polybori::CCuddInterface | |
IsInHook(DD_HFP f, Cudd_HookType where) const | polybori::CCuddInterface | [inline] |
isVerbose() const | polybori::CCuddInterface | [inline] |
large_size_type typedef | polybori::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 typedef | polybori::CCuddInterface | |
mgrcore_type typedef | polybori::CCuddInterface | |
node_type typedef | polybori::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 typedef | polybori::CCuddInterface | |
RemoveHook(DD_HFP f, Cudd_HookType where) | polybori::CCuddInterface | [inline] |
ReorderingStatusZdd(Cudd_ReorderingType *method) const | polybori::CCuddInterface | [inline] |
self typedef | polybori::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 typedef | polybori::CCuddInterface | |
ternary_function typedef | polybori::CCuddInterface | |
tmp_ref typedef | polybori::CCuddInterface | |
unary_int_function typedef | polybori::CCuddInterface | |
variable_names_type typedef | polybori::CCuddInterface | |
void_function typedef | polybori::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] |