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