

Private Member Functions | |
| Constant_max (const MP_domain &i, const Constant &e) | |
| void | operator() () const |
| double | evaluate () const |
Private Attributes | |
| MP_domain | d |
| Constant | exp |
| double | the_max |
Friends | |
| Constant | maximum (const MP_domain &i, const Constant &e) |
| Returns the maximum over the domain of the constant. | |
Definition at line 191 of file MP_constant.cpp.
Definition at line 194 of file MP_constant.cpp.
| double flopc::Constant_max::evaluate | ( | ) | const [inline, private, virtual] |
Implements flopc::Constant_base.
Definition at line 201 of file MP_constant.cpp.
References d, flopc::MP_domain::Forall(), and the_max.
| void flopc::Constant_max::operator() | ( | ) | const [inline, private, virtual] |
Implements flopc::Functor.
Definition at line 195 of file MP_constant.cpp.
MP_domain flopc::Constant_max::d [private] |
Definition at line 207 of file MP_constant.cpp.
Referenced by evaluate().
Constant flopc::Constant_max::exp [private] |
Definition at line 208 of file MP_constant.cpp.
Referenced by operator()().
double flopc::Constant_max::the_max [mutable, private] |
Definition at line 209 of file MP_constant.cpp.
Referenced by evaluate(), and operator()().
1.6.1