OptSliceParams.h
Go to the documentation of this file.
SliceParams& useBoundElimination(bool value);
SliceParams& useBoundSimplification(bool value);
bool _useBoundElimination;
bool _useBoundSimplification;
slice.useBoundElimination(getBool(cli, UseBoundEliminationName));
slice.useBoundSimplification(getBool(cli, UseBoundSimplificationName));
const char* UseBoundEliminationName = "bound";
const char* UseBoundSimplificationName = "boundSimplify";
SliceParams& SliceParams::useBoundElimination(bool value) {
_useBoundElimination = value;
return *this;
}
SliceParams& SliceParams::useBoundSimplification(bool value) {
_useBoundSimplification = value;
return *this;
}
_useBoundElimination(true),
_useBoundSimplification(true)
getBool
bool getBool(const CliParams &params, const string &name)
Definition CliParams.cpp:124
_useBoundSimplification
bool _useBoundSimplification
Definition OptSliceParams.h:4
UseBoundEliminationName
const char * UseBoundEliminationName
Definition OptSliceParams.h:8
_useBoundElimination
bool _useBoundElimination
Definition OptSliceParams.h:3
useBoundSimplification
SliceParams & useBoundSimplification(bool value)
useBoundElimination
SliceParams & useBoundElimination(bool value)
UseBoundSimplificationName
const char * UseBoundSimplificationName
Definition OptSliceParams.h:9
SliceParams
Definition SliceParams.h:25
SliceParams::useBoundElimination
void useBoundElimination(bool value)
Definition SliceParams.h:39
SliceParams::useBoundSimplification
void useBoundSimplification(bool value)
Definition SliceParams.h:45
SliceParams::_useBoundSimplification
bool _useBoundSimplification
Definition SliceParams.h:51