17 #ifndef DEBUG_STRATEGY 18 #define DEBUG_STRATEGY 33 virtual void run(
const Ideal& ideal);
41 virtual void freeSlice(auto_ptr<Slice> slice);
virtual bool getUseSimplification() const
A wrapper for a SliceStrategy that prints out what is going out for debugging purposes, while delegating everything to the strategy being wrapped.
SliceStrategy * _strategy
virtual void setUseSimplification(bool use)
This method should only be called before calling run().
Represents a monomial ideal with int exponents.
DebugStrategy(SliceStrategy *strategy, FILE *out)
Debug information is written to out, and every call is delegated to strategy.
virtual void setUseIndependence(bool use)
This method should only be called before calling run().
TaskEngine handles a list of tasks that are to be carried out.
virtual void run(const Ideal &ideal)
Run the Slice algorithm.
This class describes the interface of a strategy object for the Slice Algorithm.
bool processSlice(TaskEngine &tasks, auto_ptr< Slice > slice)
Process the parameter slice.
virtual void freeSlice(auto_ptr< Slice > slice)
It is allowed to delete returned slices directly, but it is better to use freeSlice.