Frobby
0.9.0
|
This is the complete list of members for MsmStrategy, including all inherited members.
_consumer | MsmStrategy | private |
_indep | MsmStrategy | private |
_initialSubtract | MsmStrategy | private |
_split | SliceStrategyCommon | protected |
_tasks | SliceStrategyCommon | protected |
allocateSlice() | MsmStrategy | privatevirtual |
debugIsValidSlice(Slice *slice) | MsmStrategy | privatevirtual |
freeSlice(auto_ptr< Slice > slice) | SliceStrategyCommon | virtual |
getLabelSplitVariable(const Slice &slice) | MsmStrategy | private |
getPivot(Term &pivot, Slice &slice) | MsmStrategy | protectedvirtual |
getPivot(Term &pivot, Slice &slice, const TermGrader &grader) | MsmStrategy | protectedvirtual |
getUseIndependence() const | SliceStrategyCommon | protected |
getUseSimplification() const | SliceStrategyCommon | protectedvirtual |
independenceSplit(auto_ptr< Slice > slice) | MsmStrategy | private |
labelSplit(auto_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(auto_ptr< Slice > slice) | SliceStrategyCommon | protectedvirtual |
processSlice(TaskEngine &tasks, auto_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 | protectedvirtual |
SliceStrategyCommon(const SplitStrategy *splitStrategy) | SliceStrategyCommon | |
~SliceStrategy() | SliceStrategy | virtual |
~SliceStrategyCommon() | SliceStrategyCommon | virtual |