18 #ifndef BIGATTI_PIVOT_STRATEGY_GUARD
19 #define BIGATTI_PIVOT_STRATEGY_GUARD
40 virtual const char*
getName()
const = 0;
50 static auto_ptr<BigattiPivotStrategy> createStrategy
51 (
const string& prefix,
bool widen);
virtual const char * getName() const =0
Returns the name of the strategy.
A BigattiPivotStrategy is an implementation of a pivot selection strategy for the Hilbert series algo...
virtual ~BigattiPivotStrategy()
bool operator==(const BigIntVector &a, const BigIntVector &b)
Term represents a product of variables which does not include a coefficient.
virtual const Term & getPivot(BigattiState &state)=0
Returns the pivot of a pivot split of state.