polybori::CCuddDDFacade< RingType, DiagramType > Member List

This is the complete list of members for polybori::CCuddDDFacade< RingType, DiagramType >, including all inherited members.

apply(node_ptr(*func)(MgrType, node_ptr)) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline protected
apply(node_ptr(*func)(MgrType, node_ptr, node_ptr), const diagram_type &rhs) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline protected
apply(node_ptr(*func)(MgrType, node_ptr, node_ptr, node_ptr), const diagram_type &first, const diagram_type &second) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline protected
apply(node_ptr(*func)(MgrType, node_ptr, Type), Type value) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline protected
apply(ResultType(*func)(MgrType, node_ptr)) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline protected
base typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
bool_type typedef | polybori::CAuxTypes |
CCuddDDFacade(const ring_type &ring, node_ptr node) | polybori::CCuddDDFacade< RingType, DiagramType > | inline
CCuddDDFacade(const ring_type &ring, const navigator &navi) | polybori::CCuddDDFacade< RingType, DiagramType > | inline
CCuddDDFacade(const ring_type &ring, idx_type idx, navigator thenNavi, navigator elseNavi) | polybori::CCuddDDFacade< RingType, DiagramType > | inline
CCuddDDFacade(const ring_type &ring, idx_type idx, navigator navi) | polybori::CCuddDDFacade< RingType, DiagramType > | inline
CCuddDDFacade(idx_type idx, const self &thenDD, const self &elseDD) | polybori::CCuddDDFacade< RingType, DiagramType > | inline
CCuddDDFacade(const self &from) | polybori::CCuddDDFacade< RingType, DiagramType > | inline
checkAssumption(bool isValid) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline protected
checked_idx_type typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
checkSameManager(const diagram_type &other) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline protected
comp_type typedef | polybori::CAuxTypes |
count() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
countDouble() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
cudd_generate_divisors(const ManagerType &mgr, ReverseIterator start, ReverseIterator finish) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline protected
cudd_generate_multiples(const ManagerType &mgr, ReverseIterator start, ReverseIterator finish, MultReverseIterator multStart, MultReverseIterator multFinish) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline protected
cudd_idx_type typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
deg_type typedef | polybori::CAuxTypes |
diagram(node_ptr node) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline protected
diagram_type typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
divideFirst(const diagram_type &rhs) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
easy_equality_property typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
errornum_type typedef | polybori::CAuxTypes |
errortext_type typedef | polybori::CAuxTypes |
first_iterator typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
firstBegin() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
firstDivisors() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
firstEnd() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
firstMultiples(const std::vector< idx_type > &input_multipliers) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
getManager() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
getNode() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
hash_type typedef | polybori::CAuxTypes |
idx_type typedef | polybori::CAuxTypes |
implies(const self &rhs) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
integer_type typedef | polybori::CAuxTypes |
isConstant() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
isOne() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
isZero() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
large_size_type typedef | polybori::CAuxTypes |
last_iterator typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
lastBegin() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
lastEnd() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
memApply(ResultType(*func)(mgr_type *, node_ptr)) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline protected
mgr_type typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
navigation() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
navigator typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
nNodes() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
node_ptr typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
node_type typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
operator!=(const diagram_type &rhs) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline
operator=(const diagram_type &rhs) | polybori::CCuddDDFacade< RingType, DiagramType > | inline
operator==(const diagram_type &rhs) const | polybori::CApplyNodeFacade< DiagramType, DdNode * > | inline
ordercode_type typedef | polybori::CAuxTypes |
ostream_type typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
print(ostream_type &os) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
printIntern(std::ostream &os) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
PrintMinterm() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
refCount() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
refcount_type typedef | polybori::CAuxTypes |
ring() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
ring_type typedef | polybori::CCuddDDFacade< RingType, DiagramType > |
rootIndex() const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
size_type typedef | polybori::CAuxTypes |
vartext_type typedef | polybori::CAuxTypes |
Xor(const diagram_type &rhs) const | polybori::CCuddDDFacade< RingType, DiagramType > | inline
~CCuddDDFacade() | polybori::CCuddDDFacade< RingType, DiagramType > | inline