Frobby  0.9.5
SliceStrategyCommon Member List

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

_pivotTmpSliceStrategyCommonprivate
_sliceCacheSliceStrategyCommonprivate
_splitSliceStrategyCommonprotected
_tasksSliceStrategyCommonprotected
_useIndependenceSliceStrategyCommonprivate
_useSimplificationSliceStrategyCommonprivate
allocateSlice()=0SliceStrategyCommonprotectedpure virtual
debugIsValidSlice(Slice *slice)=0SliceStrategyCommonprotectedpure virtual
freeSlice(auto_ptr< Slice > slice)SliceStrategyCommonvirtual
getPivot(Term &pivot, Slice &slice)=0SliceStrategyCommonprotectedpure virtual
getUseIndependence() constSliceStrategyCommonprotected
getUseSimplification() constSliceStrategyCommonprotectedvirtual
newSlice()SliceStrategyCommonprotected
pivotSplit(auto_ptr< Slice > slice)SliceStrategyCommonprotectedvirtual
processSlice(TaskEngine &tasks, auto_ptr< Slice > slice)=0SliceStrategypure virtual
run(const Ideal &ideal)=0SliceStrategypure virtual
setUseIndependence(bool use)SliceStrategyCommonvirtual
setUseSimplification(bool use)SliceStrategyCommonvirtual
simplify(Slice &slice)SliceStrategyCommonprotectedvirtual
SliceStrategyCommon(const SplitStrategy *splitStrategy)SliceStrategyCommon
~SliceStrategy()SliceStrategyvirtual
~SliceStrategyCommon()SliceStrategyCommonvirtual
Generated by doxygen 1.9.1