18 #ifndef BIGATTI_PARAMS_GUARD
19 #define BIGATTI_PARAMS_GUARD
void addBigattiParams(CliParams ¶ms)
void extractCliValues(BigattiParams &slice, const CliParams &cli)
bool getUseGenericBaseCase() const
Returns whether to detect generic monomial ideals as a base case.
void widenPivot(bool value)
BigattiParams(const CliParams &cli)
const string & getPivot() const
Returns the name of the pivot selection strategy used for pivots splits.
void useGenericBaseCase(bool value)
bool getWidenPivot() const
Returns whether to widen the pivots of pivot splits.
void setPivot(const string &name)