MsmStrategy Member List

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

_consumer	MsmStrategy	private
_indep	MsmStrategy	private
_initialSubtract	MsmStrategy	private
_split	SliceStrategyCommon	protected
_tasks	SliceStrategyCommon	protected
allocateSlice()	MsmStrategy	privatevirtual
debugIsValidSlice(Slice *slice)	MsmStrategy	privatevirtual
freeSlice(auto_ptr< Slice > slice)	SliceStrategyCommon	virtual
getLabelSplitVariable(const Slice &slice)	MsmStrategy	private
getPivot(Term &pivot, Slice &slice)	MsmStrategy	protectedvirtual
getPivot(Term &pivot, Slice &slice, const TermGrader &grader)	MsmStrategy	protectedvirtual
getUseIndependence() const	SliceStrategyCommon	protected
getUseSimplification() const	SliceStrategyCommon	protectedvirtual
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
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)	SliceStrategyCommon	virtual
setUseSimplification(bool use)	SliceStrategyCommon	virtual
simplify(Slice &slice)	SliceStrategyCommon	protectedvirtual
SliceStrategyCommon(const SplitStrategy *splitStrategy)	SliceStrategyCommon
~SliceStrategy()	SliceStrategy	virtual
~SliceStrategyCommon()	SliceStrategyCommon	virtual