polybori::CCuddInterface Member List
This is the complete list of members for
polybori::CCuddInterface, including all inherited members.
| 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 | |
| BOOST_PP_SEQ_FOR_EACH(PB_CUDDMGR_READ, int,(ReadZddSize)) node_ptr getVar(idx_type idx) const | polybori::CCuddInterface | [inline] |
| cacheFlush() | polybori::CCuddInterface | [inline] |
| callBack(MemberFuncPtr ptr) | polybori::CCuddInterface | [inline, protected] |
| CCuddInterface(size_type numVars, size_type numVarsZ, size_type numSlots=256, size_type cacheSize=262144, 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] |
| comp_type typedef | polybori::CAuxTypes | |
| cudd_idx_type typedef | polybori::CCuddInterface | |
| deg_type typedef | polybori::CAuxTypes | |
| errornum_type typedef | polybori::CAuxTypes | |
| errortext_type typedef | polybori::CAuxTypes | |
| getManager() 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 | |
| large_size_type typedef | polybori::CAuxTypes | |
| 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] |
| recursiveDeref(node_ptr node) const | polybori::CCuddInterface | [inline, protected] |
| refcount_type typedef | polybori::CAuxTypes | |
| 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] |
| zddVar(idx_type idx) const | polybori::CCuddInterface | [inline] |
| zddZero() const | polybori::CCuddInterface | [inline] |
| ~CCuddInterface() | polybori::CCuddInterface | [inline] |
