MsmStrategy Member List

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

_consumer | MsmStrategy | private
_indep | MsmStrategy | private
_initialSubtract | MsmStrategy | private
_pivotTmp | SliceStrategyCommon | private
_sliceCache | SliceStrategyCommon | private
_split | SliceStrategyCommon | protected
_tasks | SliceStrategyCommon | protected
_useIndependence | SliceStrategyCommon | private
_useSimplification | SliceStrategyCommon | private
allocateSlice() | MsmStrategy | private virtual
debugIsValidSlice(Slice *slice) | MsmStrategy | private virtual
freeSlice(unique_ptr< Slice > slice) | SliceStrategyCommon | virtual
getLabelSplitVariable(const Slice &slice) | MsmStrategy | private
getPivot(Term &pivot, Slice &slice) | MsmStrategy | protected virtual
getPivot(Term &pivot, Slice &slice, const TermGrader &grader) | MsmStrategy | protected virtual
getUseIndependence() const | SliceStrategyCommon | protected
getUseSimplification() const | SliceStrategyCommon | protected virtual
independenceSplit(unique_ptr< Slice > slice) | MsmStrategy | private
labelSplit(unique_ptr< Slice > slice) | MsmStrategy | private
MsmStrategy(TermConsumer *consumer, const SplitStrategy *splitStrategy) | MsmStrategy |
MsmStrategy(TermConsumer *consumer, const SplitStrategy *splitStrategy, const Ideal &initialSubtract) | MsmStrategy |
newMsmSlice() | MsmStrategy | private
newSlice() | SliceStrategyCommon | protected
pivotSplit(unique_ptr< Slice > slice) | SliceStrategyCommon | protected virtual
processSlice(TaskEngine &tasks, unique_ptr< Slice > slice) | MsmStrategy | virtual
run(const Ideal &ideal) | MsmStrategy | virtual
setUseIndependence(bool use) | SliceStrategyCommon | virtual
setUseSimplification(bool use) | SliceStrategyCommon | virtual
simplify(Slice &slice) | SliceStrategyCommon | protected virtual
SliceStrategyCommon(const SplitStrategy *splitStrategy) | SliceStrategyCommon |
~SliceStrategy() | SliceStrategy | virtual
~SliceStrategyCommon() | SliceStrategyCommon | virtual