bool getBool(const CliParams ¶ms, const string &name)
bool _useBoundSimplification
const char * UseBoundEliminationName
bool _useBoundElimination
SliceParams & useBoundElimination(bool value)
SliceParams & useBoundSimplification(bool value)
const char * UseBoundSimplificationName
void useBoundElimination(bool value)
void useBoundSimplification(bool value)
bool _useBoundElimination
bool _useBoundSimplification