AddHook(DD_HFP f, Cudd_HookType where) | polybori::CCuddInterface | inline |
apply(unary_int_function func, idx_type idx) const | polybori::CCuddInterface | inlineprotected |
apply(void_function func) const | polybori::CCuddInterface | inlineprotected |
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 | inlineprotected |
checkedResult(idx_type result) const | polybori::CCuddInterface | inlineprotected |
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 | inlineprotected |
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 |