HilbertSlice Member List

This is the complete list of members for HilbertSlice, including all inherited members.

_consumer | HilbertSlice | private
_ideal | Slice | protected
_lcm | Slice | mutable protected
_lcmUpdated | Slice | mutable protected
_lowerBoundHint | Slice | protected
_multiply | Slice | protected
_strategy | Slice | protected
_subtract | Slice | protected
_varCount | Slice | protected
adjustMultiply() | Slice |
applyLowerBound() | Slice | protected
baseCase(bool simplified) | HilbertSlice | virtual
clearIdealAndSubtract() | Slice |
dispose() | Slice | virtual
getConsumer() | HilbertSlice | inline
getIdeal() const | Slice | inline
getLcm() const | Slice |
getLowerBound(Term &bound, size_t var) const | HilbertSlice | private virtual
getMultiply() | Slice | inline
getMultiply() const | Slice | inline
getSubtract() | Slice | inline
getSubtract() const | Slice | inline
getVarCount() const | Slice | inline
HilbertSlice(HilbertStrategy &strategy) | HilbertSlice |
HilbertSlice(HilbertStrategy &strategy, const Ideal &ideal, const Ideal &subtract, const Term &multiply, CoefTermConsumer *consumer) | HilbertSlice |
innerSlice(const Term &pivot) | Slice | virtual
normalize() | Slice |
operator=(const Slice &slice) | HilbertSlice | virtual
outerSlice(const Term &pivot) | Slice | virtual
print(FILE *file) const | Slice |
pruneSubtract() | Slice | protected
resetAndSetVarCount(size_t varCount) | Slice |
run(TaskEngine &tasks) | Slice | virtual
setToProjOf(const Slice &slice, const Projection &projection, CoefTermConsumer *consumer) | HilbertSlice |
Slice::setToProjOf(const Slice &slice, const Projection &projection) | Slice | protected
simplify() | Slice | virtual
simplifyStep() | HilbertSlice | virtual
singleDegreeSortIdeal(size_t var) | Slice |
Slice(SliceStrategy &strategy) | Slice |
Slice(SliceStrategy &strategy, const Ideal &ideal, const Ideal &subtract, const Term &multiply) | Slice |
swap(HilbertSlice &slice) | HilbertSlice |
Slice::swap(Slice &slice) | Slice | protected
~Slice() | Slice | virtual
~Task() | Task | virtual