PolyBoRi
polybori::groebner::LLReductor Member List

This is the complete list of members for polybori::groebner::LLReductor, including all inherited members.

add(const term_type &rhs) const polybori::BooleSet
apply(node_ptr(*func)(MgrType, node_ptr)) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inlineprotected
apply(node_ptr(*func)(MgrType, node_ptr, node_ptr), const diagram_type &rhs) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inlineprotected
apply(node_ptr(*func)(MgrType, node_ptr, node_ptr, node_ptr), const diagram_type &first, const diagram_type &second) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inlineprotected
apply(node_ptr(*func)(MgrType, node_ptr, Type), Type value) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inlineprotected
apply(ResultType(*func)(MgrType, node_ptr)) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inlineprotected
begin() const polybori::BooleSet
bool_type typedefpolybori::CAuxTypes
BooleSet(const self &rhs)polybori::BooleSetinline
BooleSet(const base &rhs)polybori::BooleSetinline
BooleSet(idx_type idx, const self &first, const self &second)polybori::BooleSetinline
BooleSet(idx_type idx, navigator first, navigator second, const ring_type &ring)polybori::BooleSetinline
BooleSet(const ring_type &ring, node_ptr node)polybori::BooleSetinline
BooleSet(const ring_type &ring, navigator navi)polybori::BooleSetinline
BooleSet(const ring_type &ring)polybori::BooleSetinline
BooleSet(idx_type idx, const self &rhs)polybori::BooleSetinline
BooleSet(navigator navi, const ring_type &ring)polybori::BooleSetinline
cartesianProduct(const self &rhs) const polybori::BooleSetinline
CCuddDDFacade(const ring_type &ring, node_ptr node)polybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
CCuddDDFacade(const ring_type &ring, const navigator &navi)polybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
CCuddDDFacade(const ring_type &ring, idx_type idx, navigator thenNavi, navigator elseNavi)polybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
CCuddDDFacade(const ring_type &ring, idx_type idx, navigator navi)polybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
CCuddDDFacade(idx_type idx, const self &thenDD, const self &elseDD)polybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
CCuddDDFacade(const self &from)polybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
change(idx_type idx) const polybori::BooleSetinline
checkAssumption(bool isValid) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inlineprotected
checked_idx_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
checkSameManager(const diagram_type &other) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inlineprotected
comp_type typedefpolybori::CAuxTypes
const_iterator typedefpolybori::BooleSet
const_reverse_iterator typedefpolybori::BooleSet
contains(const self &rhs) const polybori::BooleSetinline
containsDivisorsOfDecDeg(const term_type &rhs) const polybori::BooleSet
containsDivisorsOfDecDeg(const exp_type &rhs) const polybori::BooleSet
count() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
countDouble() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
countIndex(idx_type idx) const polybori::BooleSet
countIndexDouble(idx_type idx) const polybori::BooleSet
cudd_generate_divisors(const ManagerType &mgr, ReverseIterator start, ReverseIterator finish) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inlineprotected
cudd_generate_multiples(const ManagerType &mgr, ReverseIterator start, ReverseIterator finish, MultReverseIterator multStart, MultReverseIterator multFinish) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inlineprotected
cudd_idx_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
dd_type typedefpolybori::BooleSet
deg_type typedefpolybori::CAuxTypes
diagram() const polybori::BooleSetinline
CCuddDDFacade< BoolePolyRing, BooleSet >::diagram(node_ptr node) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inlineprotected
diagram_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
divide(const term_type &rhs) const polybori::BooleSet
divideFirst(const diagram_type &rhs) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
divisorsOf(const term_type &rhs) const polybori::BooleSet
divisorsOf(const exp_type &rhs) const polybori::BooleSet
easy_equality_property typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
emptyElement() const polybori::BooleSetinline
end() const polybori::BooleSet
errornum_type typedefpolybori::CAuxTypes
errortext_type typedefpolybori::CAuxTypes
existAbstract(const term_type &rhs) const polybori::BooleSet
exp_iterator typedefpolybori::BooleSet
exp_type typedefpolybori::BooleSet
expBegin() const polybori::BooleSet
expEnd() const polybori::BooleSet
first_iterator typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
firstBegin() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
firstDivisors() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
firstDivisorsOf(const self &rhs) const polybori::BooleSet
firstEnd() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
firstMultiples(const std::vector< idx_type > &input_multipliers) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
getManager() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
getNode() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
hash() const polybori::BooleSetinline
hash_type typedefpolybori::CAuxTypes
hasTermOfVariables(const term_type &rhs) const polybori::BooleSet
idx_type typedefpolybori::CAuxTypes
implies(const self &rhs) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
integer_type typedefpolybori::CAuxTypes
isCompatible(const PolyEntry &entry)polybori::groebner::LLReductorinline
isConstant() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
isOne() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
isPair() const polybori::BooleSetinline
isSingleton() const polybori::BooleSetinline
isSingletonOrPair() const polybori::BooleSetinline
isZero() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
large_size_type typedefpolybori::CAuxTypes
last_iterator typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
lastBegin() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
lastEnd() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
lastLexicographicalTerm() const polybori::BooleSet
length() const polybori::BooleSetinline
LLReductor(const BoolePolyRing &ring)polybori::groebner::LLReductorinline
LLReductor(const Type &value)polybori::groebner::LLReductorinline
memApply(ResultType(*func)(mgr_type *, node_ptr)) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inlineprotected
mgr_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
minimalElements() const polybori::BooleSet
multiplesOf(const term_type &rhs) const polybori::BooleSet
navigation() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
navigator typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
nNodes() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
node_ptr typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
node_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
nVariables() const polybori::BooleSetinline
operator!=(const diagram_type &rhs) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inline
operator==(const diagram_type &rhs) constpolybori::CApplyNodeFacade< BooleSet, DdNode * >inline
ordercode_type typedefpolybori::CAuxTypes
ostream_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
owns(const term_type &rhs) const polybori::BooleSet
owns(const exp_type &) const polybori::BooleSet
ownsOne() const polybori::BooleSetinline
print(ostream_type &) const polybori::BooleSet
printIntern(std::ostream &os) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
PrintMinterm() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
rbegin() const polybori::BooleSet
refCount() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
refcount_type typedefpolybori::CAuxTypes
rend() const polybori::BooleSet
reverse_exp_iterator typedefpolybori::BooleSet
rExpBegin() const polybori::BooleSet
rExpEnd() const polybori::BooleSet
ring() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
ring_type typedefpolybori::BooleSet
rootIndex() constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
size() const polybori::BooleSetinline
size_type typedefpolybori::CAuxTypes
sizeDouble() const polybori::BooleSetinline
stableHash() const polybori::BooleSetinline
term_type typedefpolybori::BooleSet
update(const PolyEntry &entry)polybori::groebner::LLReductorinline
usedVariables() const polybori::BooleSet
usedVariablesExp() const polybori::BooleSet
vartext_type typedefpolybori::CAuxTypes
Xor(const diagram_type &rhs) constpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline
~BooleSet()polybori::BooleSetinline
~CCuddDDFacade()polybori::CCuddDDFacade< BoolePolyRing, BooleSet >inline