OptimizeStrategy Member List

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

_boundSetting | OptimizeStrategy | private
_boundSimplify_tmpPivot | OptimizeStrategy | private
_consume_tmpDegree | OptimizeStrategy | private
_consumer | MsmStrategy | private
_grader | OptimizeStrategy | private
_indep | MsmStrategy | private
_initialSubtract | MsmStrategy | private
_maxSolutions | OptimizeStrategy | private
_maxValue | OptimizeStrategy | private
_maxValueToBeat | OptimizeStrategy | private
_pivotTmp | SliceStrategyCommon | private
_reportAllSolutions | OptimizeStrategy | private
_simplify_tmpDominator | OptimizeStrategy | private
_simplify_tmpOldDivisor | OptimizeStrategy | private
_simplify_tmpOldDominator | OptimizeStrategy | private
_simplify_tmpUpperBound | OptimizeStrategy | private
_sliceCache | SliceStrategyCommon | private
_split | SliceStrategyCommon | protected
_tasks | SliceStrategyCommon | protected
_tmpC | OptimizeStrategy | private
_useIndependence | SliceStrategyCommon | private
_useSimplification | SliceStrategyCommon | private
allocateSlice() | MsmStrategy | private virtual
beginConsuming() | OptimizeStrategy | virtual
beginConsumingList() | TermConsumer | virtual
BoundSetting enum name | OptimizeStrategy |
boundSimplify(Slice &slice, const Term &dominator, const mpz_class &upperBound) | OptimizeStrategy | private
changedInWayRelevantToBound(const Term &oldDivisor, const Term &oldDominator, const Term &newDivisor, const Term &newDominator) const | OptimizeStrategy | private
consume(const Term &term) | OptimizeStrategy | virtual
TermConsumer::consume(const Ideal &ideal) | TermConsumer |
consumeRing(const VarNames &names) | TermConsumer | virtual
debugIsValidSlice(Slice *slice) | MsmStrategy | private virtual
doneConsuming() | OptimizeStrategy | virtual
doneConsumingList() | TermConsumer | virtual
DoNotUseBound enum value | OptimizeStrategy |
freeSlice(unique_ptr< Slice > slice) | SliceStrategyCommon | virtual
FRIEND_TEST(OptimizeStrategy, ChangedInWayRelevantToBound) | OptimizeStrategy | private
FRIEND_TEST(OptimizeStrategy, SimplifyPositiveGrading) | OptimizeStrategy | private
FRIEND_TEST(OptimizeStrategy, SimplifyNegativeGrading) | OptimizeStrategy | private
getDominator(Slice &slice, Term &dominator) | OptimizeStrategy | private
getInnerSimplify(const Term &divisor, const Term &dominator, const mpz_class &upperBound, Term &pivot) | OptimizeStrategy | private
getLabelSplitVariable(const Slice &slice) | MsmStrategy | private
getMaximalSolutions() | OptimizeStrategy |
getMaximalValue() | OptimizeStrategy |
getOuterSimplify(const Term &divisor, const Term &dominator, const mpz_class &upperBound, Term &pivot) | OptimizeStrategy | private
getPivot(Term &pivot, Slice &slice) | OptimizeStrategy | virtual
MsmStrategy::getPivot(Term &pivot, Slice &slice, const TermGrader &grader) | MsmStrategy | protected virtual
getUseIndependence() const | SliceStrategyCommon | protected
getUseSimplification() const | SliceStrategyCommon | protected virtual
getVarCount() const | OptimizeStrategy | private
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
OptimizeStrategy(TermGrader &grader, const SplitStrategy *splitStrategy, bool reportAllSolutions, BoundSetting boundSetting) | OptimizeStrategy |
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) | OptimizeStrategy | virtual
setUseSimplification(bool use) | SliceStrategyCommon | virtual
simplify(Slice &slice) | OptimizeStrategy | virtual
SliceStrategyCommon(const SplitStrategy *splitStrategy) | SliceStrategyCommon |
UseBoundToEliminate enum value | OptimizeStrategy |
UseBoundToEliminateAndSimplify enum value | OptimizeStrategy |
~SliceStrategy() | SliceStrategy | virtual
~SliceStrategyCommon() | SliceStrategyCommon | virtual
~TermConsumer() | TermConsumer | virtual