Slice Member List

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

_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)=0 | Slice | pure virtual
clearIdealAndSubtract() | Slice |
dispose() | Slice | virtual
getIdeal() const | Slice | inline
getLcm() const | Slice |
getLowerBound(Term &bound, size_t var) const =0 | Slice | protected pure virtual
getMultiply() | Slice | inline
getMultiply() const | Slice | inline
getSubtract() | Slice | inline
getSubtract() const | Slice | inline
getVarCount() const | Slice | inline
innerSlice(const Term &pivot) | Slice | virtual
normalize() | Slice |
operator=(const Slice &slice)=0 | Slice | pure 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) | Slice | protected
simplify() | Slice | virtual
simplifyStep()=0 | Slice | pure virtual
singleDegreeSortIdeal(size_t var) | Slice |
Slice(SliceStrategy &strategy) | Slice |
Slice(SliceStrategy &strategy, const Ideal &ideal, const Ideal &subtract, const Term &multiply) | Slice |
swap(Slice &slice) | Slice | protected
~Slice() | Slice | virtual
~Task() | Task | virtual