Frobby  0.9.5
HilbertStrategy Member List

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

_consumerHilbertStrategyprivate
_consumerCacheHilbertStrategyprivate
_consumerCacheDeleterHilbertStrategyprivate
_indepSplitterHilbertStrategyprivate
_pivotTmpSliceStrategyCommonprivate
_sliceCacheSliceStrategyCommonprivate
_splitSliceStrategyCommonprotected
_tasksSliceStrategyCommonprotected
_useIndependenceHilbertStrategyprivate
_useSimplificationSliceStrategyCommonprivate
allocateSlice()HilbertStrategyprivatevirtual
debugIsValidSlice(Slice *slice)HilbertStrategyprivatevirtual
freeConsumer(auto_ptr< HilbertIndependenceConsumer > consumer)HilbertStrategy
freeSlice(auto_ptr< Slice > slice)SliceStrategyCommonvirtual
getPivot(Term &term, Slice &slice)HilbertStrategyprivatevirtual
getUseIndependence() constSliceStrategyCommonprotected
getUseSimplification() constSliceStrategyCommonprotectedvirtual
HilbertStrategy(CoefTermConsumer *consumer, const SplitStrategy *splitStrategy)HilbertStrategy
independenceSplit(auto_ptr< Slice > slice)HilbertStrategyprivate
newConsumer()HilbertStrategyprivate
newHilbertSlice()HilbertStrategyprivate
newSlice()SliceStrategyCommonprotected
pivotSplit(auto_ptr< Slice > slice)SliceStrategyCommonprotectedvirtual
processSlice(TaskEngine &tasks, auto_ptr< Slice > slice)HilbertStrategyvirtual
run(const Ideal &ideal)HilbertStrategyvirtual
setUseIndependence(bool use)SliceStrategyCommonvirtual
setUseSimplification(bool use)SliceStrategyCommonvirtual
simplify(Slice &slice)SliceStrategyCommonprotectedvirtual
SliceStrategyCommon(const SplitStrategy *splitStrategy)SliceStrategyCommon
~SliceStrategy()SliceStrategyvirtual
~SliceStrategyCommon()SliceStrategyCommonvirtual