| _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 | privatevirtual |
| 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 | privatevirtual |
| doneConsuming() | OptimizeStrategy | virtual |
| doneConsumingList() | TermConsumer | virtual |
| DoNotUseBound enum value | OptimizeStrategy | |
| freeSlice(auto_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 | protectedvirtual |
| getUseIndependence() const | SliceStrategyCommon | protected |
| getUseSimplification() const | SliceStrategyCommon | protectedvirtual |
| getVarCount() const | OptimizeStrategy | private |
| 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 |
| OptimizeStrategy(TermGrader &grader, const SplitStrategy *splitStrategy, bool reportAllSolutions, BoundSetting boundSetting) | OptimizeStrategy | |
| 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) | 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 |
