18#ifndef BIGATTI_PARAMS_GUARD
19#define BIGATTI_PARAMS_GUARD
void addBigattiParams(CliParams ¶ms)
void extractCliValues(BigattiParams &slice, const CliParams &cli)
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
bool getUseGenericBaseCase() const
Returns whether to detect generic monomial ideals as a base case.
void widenPivot(bool value)
void useGenericBaseCase(bool value)
bool getWidenPivot() const
Returns whether to widen the pivots of pivot splits.
const string & getPivot() const
Returns the name of the pivot selection strategy used for pivots splits.
void setPivot(const string &name)