PolyBoRi
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)) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inlineprotected
apply(node_ptr(*func)(MgrType, node_ptr, node_ptr), const diagram_type &rhs) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inlineprotected
apply(node_ptr(*func)(MgrType, node_ptr, node_ptr, node_ptr), const diagram_type &first, const diagram_type &second) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inlineprotected
apply(node_ptr(*func)(MgrType, node_ptr, Type), Type value) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inlineprotected
apply(ResultType(*func)(MgrType, node_ptr)) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inlineprotected
base typedefpolybori::CCuddDDFacade< RingType, DiagramType >
bool_type typedefpolybori::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 >inlineprotected
checked_idx_type typedefpolybori::CCuddDDFacade< RingType, DiagramType >
checkSameManager(const diagram_type &other) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inlineprotected
comp_type typedefpolybori::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 >inlineprotected
cudd_generate_multiples(const ManagerType &mgr, ReverseIterator start, ReverseIterator finish, MultReverseIterator multStart, MultReverseIterator multFinish) const polybori::CCuddDDFacade< RingType, DiagramType >inlineprotected
cudd_idx_type typedefpolybori::CCuddDDFacade< RingType, DiagramType >
deg_type typedefpolybori::CAuxTypes
diagram(node_ptr node) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inlineprotected
diagram_type typedefpolybori::CCuddDDFacade< RingType, DiagramType >
divideFirst(const diagram_type &rhs) const polybori::CCuddDDFacade< RingType, DiagramType >inline
easy_equality_property typedefpolybori::CCuddDDFacade< RingType, DiagramType >
errornum_type typedefpolybori::CAuxTypes
errortext_type typedefpolybori::CAuxTypes
first_iterator typedefpolybori::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 typedefpolybori::CAuxTypes
idx_type typedefpolybori::CAuxTypes
implies(const self &rhs) const polybori::CCuddDDFacade< RingType, DiagramType >inline
integer_type typedefpolybori::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 typedefpolybori::CAuxTypes
last_iterator typedefpolybori::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 >inlineprotected
mgr_type typedefpolybori::CCuddDDFacade< RingType, DiagramType >
navigation() const polybori::CCuddDDFacade< RingType, DiagramType >inline
navigator typedefpolybori::CCuddDDFacade< RingType, DiagramType >
nNodes() const polybori::CCuddDDFacade< RingType, DiagramType >inline
node_ptr typedefpolybori::CCuddDDFacade< RingType, DiagramType >
node_type typedefpolybori::CCuddDDFacade< RingType, DiagramType >
operator!=(const diagram_type &rhs) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inline
operator=(const diagram_type &rhs)polybori::CCuddDDFacade< RingType, DiagramType >inline
operator==(const diagram_type &rhs) constpolybori::CApplyNodeFacade< DiagramType, DdNode * >inline
ordercode_type typedefpolybori::CAuxTypes
ostream_type typedefpolybori::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 typedefpolybori::CAuxTypes
ring() const polybori::CCuddDDFacade< RingType, DiagramType >inline
ring_type typedefpolybori::CCuddDDFacade< RingType, DiagramType >
rootIndex() const polybori::CCuddDDFacade< RingType, DiagramType >inline
size_type typedefpolybori::CAuxTypes
vartext_type typedefpolybori::CAuxTypes
Xor(const diagram_type &rhs) const polybori::CCuddDDFacade< RingType, DiagramType >inline
~CCuddDDFacade()polybori::CCuddDDFacade< RingType, DiagramType >inline