SliceStrategyCommon Member List

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

_pivotTmp | SliceStrategyCommon | private
_sliceCache | SliceStrategyCommon | private
_split | SliceStrategyCommon | protected
_tasks | SliceStrategyCommon | protected
_useIndependence | SliceStrategyCommon | private
_useSimplification | SliceStrategyCommon | private
allocateSlice()=0 | SliceStrategyCommon | protected pure virtual
debugIsValidSlice(Slice *slice)=0 | SliceStrategyCommon | protected pure virtual
freeSlice(unique_ptr< Slice > slice) | SliceStrategyCommon | virtual
getPivot(Term &pivot, Slice &slice)=0 | SliceStrategyCommon | protected pure virtual
getUseIndependence() const | SliceStrategyCommon | protected
getUseSimplification() const | SliceStrategyCommon | protected virtual
newSlice() | SliceStrategyCommon | protected
pivotSplit(unique_ptr< Slice > slice) | SliceStrategyCommon | protected virtual
processSlice(TaskEngine &tasks, unique_ptr< Slice > slice)=0 | SliceStrategy | pure virtual
run(const Ideal &ideal)=0 | SliceStrategy | pure 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