Frobby  0.9.0
Slice Member List

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

_idealSliceprotected
_lcmSlicemutableprotected
_lcmUpdatedSlicemutableprotected
_lowerBoundHintSliceprotected
_multiplySliceprotected
_strategySliceprotected
_subtractSliceprotected
_varCountSliceprotected
adjustMultiply()Slice
applyLowerBound()Sliceprotected
baseCase(bool simplified)=0Slicepure virtual
clearIdealAndSubtract()Slice
dispose()Slicevirtual
getIdeal() const Sliceinline
getLcm() const Slice
getLowerBound(Term &bound, size_t var) const =0Sliceprotectedpure virtual
getMultiply()Sliceinline
getMultiply() const Sliceinline
getSubtract()Sliceinline
getSubtract() const Sliceinline
getVarCount() const Sliceinline
innerSlice(const Term &pivot)Slicevirtual
normalize()Slice
operator=(const Slice &slice)=0Slicepure virtual
outerSlice(const Term &pivot)Slicevirtual
print(FILE *file) const Slice
pruneSubtract()Sliceprotected
resetAndSetVarCount(size_t varCount)Slice
run(TaskEngine &tasks)Slicevirtual
setToProjOf(const Slice &slice, const Projection &projection)Sliceprotected
simplify()Slicevirtual
simplifyStep()=0Slicepure 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)Sliceprotected
~Slice()Slicevirtual
~Task()Taskvirtual