26 _useGenericBaseCase(true) {
31 static const char* PivotParamName =
"split";
32 static const char* GenericBaseCaseName =
"genericBase";
33 static const char* WidenPivotName =
"widenPivot";
void extractCliValues(BigattiParams &bigatti, const CliParams &cli)
void addBigattParams(CliParams ¶ms)
const string & getString(const CliParams ¶ms, const string &name)
bool getBool(const CliParams ¶ms, const string &name)
void widenPivot(bool value)
BigattiParams(const CliParams &cli)
void useGenericBaseCase(bool value)
void setPivot(const string &name)