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)
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)