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)
void extractCliValues(BigattiParams &slice, const CliParams &cli)
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)
This header file includes common definitions and is included as the first line of code in every imple...