bool getBool(const CliParams ¶ms, const string &name)
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
bool _useBoundSimplification
const char * UseBoundEliminationName
bool _useBoundElimination
SliceParams & useBoundSimplification(bool value)
SliceParams & useBoundElimination(bool value)
const char * UseBoundSimplificationName
void useBoundElimination(bool value)
void useBoundSimplification(bool value)
bool _useBoundElimination
bool _useBoundSimplification