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