, 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] |
| bool_type typedef | polybori::CAuxTypes | |
| cacheFlush() | polybori::CCuddInterface | [inline] |
| callBack(MemberFuncPtr ptr) | polybori::CCuddInterface | [inline, protected] |
| CCuddInterface(size_type numVars, size_type numVarsZ, 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] |
| checkedResult(node_ptr result) const | polybori::CCuddInterface | [inline, protected] |
| checkedResult(int result) const | polybori::CCuddInterface | [inline, protected] |
| CheckKeys() | polybori::CCuddInterface | [inline] |
| comp_type typedef | polybori::CAuxTypes | |
| cudd_idx_type typedef | polybori::CCuddInterface | |
| DebugCheck() | polybori::CCuddInterface | [inline] |
| deg_type typedef | polybori::CAuxTypes | |
| DisableReorderingReporting() | polybori::CCuddInterface | [inline] |
| EnableReorderingReporting() | polybori::CCuddInterface | [inline] |
| errornum_type typedef | polybori::CAuxTypes | |
| errortext_type typedef | polybori::CAuxTypes | |
| getManager() const | polybori::CCuddInterface | [inline] |
| getVar(idx_type idx) const | polybori::CCuddInterface | [inline] |
| hash_type typedef | polybori::CAuxTypes | |
| idx_type typedef | polybori::CAuxTypes | |
| init(size_type numVars, size_type numVarsZ, size_type numSlots, size_type cacheSize, large_size_type maxMemory) | polybori::CCuddInterface | [inline, protected] |
| initVar(node_ptr &node, idx_type idx) const | polybori::CCuddInterface | [inline, protected] |
| integer_type typedef | polybori::CAuxTypes | |
| IsInHook(DD_HFP f, Cudd_HookType where) const | polybori::CCuddInterface | [inline] |
| large_size_type typedef | polybori::CAuxTypes | |
| MakeZddTreeNode(size_type low, size_type size, size_type type) | polybori::CCuddInterface | [inline] |
| mgr_ptr typedef | polybori::CCuddInterface | |
| mgr_type typedef | polybori::CCuddInterface | |
| node_ptr typedef | polybori::CCuddInterface | |
| nVariables() const | polybori::CCuddInterface | [inline] |
| operator=(const self &right) | polybori::CCuddInterface | [inline] |
| ordercode_type typedef | polybori::CAuxTypes | |
| ostream_type typedef | polybori::CAuxTypes | |
| pManager() const | 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 idx) const | polybori::CCuddInterface | [inline] |
| ReadLinear(int x, int y) | polybori::CCuddInterface | [inline] |
| ReadPermZdd(idx_type idx) const | polybori::CCuddInterface | [inline] |
| recursiveDeref(node_ptr node) const | polybori::CCuddInterface | [inline, protected] |
| refcount_type typedef | polybori::CAuxTypes | |
| RemoveHook(DD_HFP f, Cudd_HookType where) | polybori::CCuddInterface | [inline] |
| ReorderingStatusZdd(Cudd_ReorderingType *method) const | polybori::CCuddInterface | [inline] |
| size_type typedef | polybori::CAuxTypes | |
| unary_int_function typedef | polybori::CCuddInterface | |
| vartext_type typedef | polybori::CAuxTypes | |
| 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] |
