Frobby  0.9.0
MsmSlice Member List

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

_consumerMsmSliceprivate
_idealSliceprotected
_lcmSlicemutableprotected
_lcmUpdatedSlicemutableprotected
_lowerBoundHintSliceprotected
_multiplySliceprotected
_strategySliceprotected
_subtractSliceprotected
_varCountSliceprotected
adjustMultiply()Slice
applyLowerBound()Sliceprotected
baseCase(bool simplified)MsmSlicevirtual
clearIdealAndSubtract()Slice
dispose()Slicevirtual
getConsumer()MsmSliceinline
getIdeal() const Sliceinline
getLcm() const Slice
getLowerBound(Term &bound, size_t var) const MsmSliceprivatevirtual
getMultiply()Sliceinline
getMultiply() const Sliceinline
getSubtract()Sliceinline
getSubtract() const Sliceinline
getVarCount() const Sliceinline
innerSlice(const Term &pivot)MsmSlicevirtual
MsmSlice(MsmStrategy &strategy)MsmSlice
MsmSlice(MsmStrategy &strategy, const Ideal &ideal, const Ideal &subtract, const Term &multiply, TermConsumer *consumer)MsmSlice
normalize()Slice
oneMoreGeneratorBaseCase()MsmSliceprivate
operator=(const Slice &slice)MsmSlicevirtual
outerSlice(const Term &pivot)MsmSlicevirtual
print(FILE *file) const Slice
pruneSubtract()Sliceprotected
removeDoubleLcm()MsmSliceprivate
resetAndSetVarCount(size_t varCount)Slice
run(TaskEngine &tasks)Slicevirtual
setToProjOf(const MsmSlice &slice, const Projection &projection, TermConsumer *consumer)MsmSlice
Slice::setToProjOf(const Slice &slice, const Projection &projection)Sliceprotected
simplify()Slicevirtual
simplifyStep()MsmSlicevirtual
singleDegreeSortIdeal(size_t var)Slice
Slice(SliceStrategy &strategy)Slice
Slice(SliceStrategy &strategy, const Ideal &ideal, const Ideal &subtract, const Term &multiply)Slice
swap(MsmSlice &slice)MsmSlice
Slice::swap(Slice &slice)Sliceprotected
twoNonMaxBaseCase()MsmSliceprivate
twoVarBaseCase()MsmSliceprivate
~Slice()Slicevirtual
~Task()Taskvirtual