Frobby 0.9.5
OptSliceParams.h
Go to the documentation of this file.
5
6 slice.useBoundElimination(getBool(cli, UseBoundEliminationName));
7 slice.useBoundSimplification(getBool(cli, UseBoundSimplificationName));
8 const char* UseBoundEliminationName = "bound";
9 const char* UseBoundSimplificationName = "boundSimplify";
10
13 return *this;
14 }
15
18 return *this;
19 }
20
bool getBool(const CliParams &params, const string &name)
bool _useBoundSimplification
const char * UseBoundEliminationName
bool _useBoundElimination
SliceParams & useBoundSimplification(bool value)
SliceParams & useBoundElimination(bool value)
const char * UseBoundSimplificationName
void useBoundElimination(bool value)
Definition SliceParams.h:39
void useBoundSimplification(bool value)
Definition SliceParams.h:45
bool _useBoundElimination
Definition SliceParams.h:50
bool _useBoundSimplification
Definition SliceParams.h:51