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