HilbertStrategy Member List

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

_consumer | HilbertStrategy | private
_consumerCache | HilbertStrategy | private
_consumerCacheDeleter | HilbertStrategy | private
_indepSplitter | HilbertStrategy | private
_pivotTmp | SliceStrategyCommon | private
_sliceCache | SliceStrategyCommon | private
_split | SliceStrategyCommon | protected
_tasks | SliceStrategyCommon | protected
_useIndependence | HilbertStrategy | private
_useSimplification | SliceStrategyCommon | private
allocateSlice() | HilbertStrategy | private virtual
debugIsValidSlice(Slice *slice) | HilbertStrategy | private virtual
freeConsumer(unique_ptr< HilbertIndependenceConsumer > consumer) | HilbertStrategy |
freeSlice(unique_ptr< Slice > slice) | SliceStrategyCommon | virtual
getPivot(Term &term, Slice &slice) | HilbertStrategy | private virtual
getUseIndependence() const | SliceStrategyCommon | protected
getUseSimplification() const | SliceStrategyCommon | protected virtual
HilbertStrategy(CoefTermConsumer *consumer, const SplitStrategy *splitStrategy) | HilbertStrategy |
independenceSplit(unique_ptr< Slice > slice) | HilbertStrategy | private
newConsumer() | HilbertStrategy | private
newHilbertSlice() | HilbertStrategy | private
newSlice() | SliceStrategyCommon | protected
pivotSplit(unique_ptr< Slice > slice) | SliceStrategyCommon | protected virtual
processSlice(TaskEngine &tasks, unique_ptr< Slice > slice) | HilbertStrategy | virtual
run(const Ideal &ideal) | HilbertStrategy | 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