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)
Definition: CliParams.cpp:124
bool _useBoundSimplification
Definition: OptSliceParams.h:4
const char * UseBoundEliminationName
Definition: OptSliceParams.h:8
bool _useBoundElimination
Definition: OptSliceParams.h:3
SliceParams & useBoundSimplification(bool value)
SliceParams & useBoundElimination(bool value)
const char * UseBoundSimplificationName
Definition: OptSliceParams.h:9
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