PolyBoRi
polybori::BooleSet Member List
This is the complete list of members for polybori::BooleSet, including all inherited members.
add(const term_type &rhs) const polybori::BooleSet
base typedefpolybori::BooleSet
begin() const polybori::BooleSet
BooleSet()polybori::BooleSet
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(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 > [inline, protected]
checked_idx_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
const_iterator typedefpolybori::BooleSet
const_reverse_iterator typedefpolybori::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 > [inline, protected]
cudd_generate_multiples(const ManagerType &mgr, ReverseIterator start, ReverseIterator finish, MultReverseIterator multStart, MultReverseIterator multFinish) const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline, protected]
cudd_idx_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
dd_type typedefpolybori::BooleSet
diagram() const polybori::BooleSet [inline]
diagram_type typedefpolybori::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 typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
emptyElement() const polybori::BooleSet [inline]
end() const polybori::BooleSet
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() 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]
hasTermOfVariables(const term_type &rhs) const polybori::BooleSet
implies(const self &rhs) const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
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]
last_iterator typedefpolybori::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 > [inline, protected]
mgr_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
minimalElements() const polybori::BooleSet
multiplesOf(const term_type &rhs) const polybori::BooleSet
navigation() const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
navigator typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
nNodes() const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
node_ptr typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
node_type typedefpolybori::CCuddDDFacade< BoolePolyRing, BooleSet >
nSupport() const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
nVariables() const polybori::BooleSet [inline]
operator=(const diagram_type &rhs)polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
ostream_type typedefpolybori::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]
rend() const polybori::BooleSet
ring() const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
ring_type typedefpolybori::BooleSet
rootIndex() const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
size() const polybori::BooleSet [inline]
sizeDouble() const polybori::BooleSet [inline]
stableHash() const polybori::BooleSet [inline]
term_type typedefpolybori::BooleSet
usedIndices(VectorLikeType &indices) const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
usedIndices() const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
usedVariables() const polybori::BooleSet
usedVariablesExp() const polybori::BooleSet
Xor(const diagram_type &rhs) const polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]
~BooleSet()polybori::BooleSet [inline]
~CCuddDDFacade()polybori::CCuddDDFacade< BoolePolyRing, BooleSet > [inline]