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