Frobby 0.9.7
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(unique_ptr< HilbertIndependenceConsumer > consumer)HilbertStrategy
freeSlice(unique_ptr< Slice > slice)SliceStrategyCommonvirtual
getPivot(Term &term, Slice &slice)HilbertStrategyprivatevirtual
getUseIndependence() constSliceStrategyCommonprotected
getUseSimplification() constSliceStrategyCommonprotectedvirtual
HilbertStrategy(CoefTermConsumer *consumer, const SplitStrategy *splitStrategy)HilbertStrategy
independenceSplit(unique_ptr< Slice > slice)HilbertStrategyprivate
newConsumer()HilbertStrategyprivate
newHilbertSlice()HilbertStrategyprivate
newSlice()SliceStrategyCommonprotected
pivotSplit(unique_ptr< Slice > slice)SliceStrategyCommonprotectedvirtual
processSlice(TaskEngine &tasks, unique_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
Generated by doxygen 1.15.0