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	protectedpure virtual
debugIsValidSlice(Slice *slice)=0	SliceStrategyCommon	protectedpure virtual
freeSlice(auto_ptr< Slice > slice)	SliceStrategyCommon	virtual
getPivot(Term &pivot, Slice &slice)=0	SliceStrategyCommon	protectedpure virtual
getUseIndependence() const	SliceStrategyCommon	protected
getUseSimplification() const	SliceStrategyCommon	protectedvirtual
newSlice()	SliceStrategyCommon	protected
pivotSplit(auto_ptr< Slice > slice)	SliceStrategyCommon	protectedvirtual
processSlice(TaskEngine &tasks, auto_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	protectedvirtual
SliceStrategyCommon(const SplitStrategy *splitStrategy)	SliceStrategyCommon
~SliceStrategy()	SliceStrategy	virtual
~SliceStrategyCommon()	SliceStrategyCommon	virtual