

Private Member Functions | |
| Constant_min (const MP_domain &i, const Constant &e) | |
| void | operator() () const |
| double | evaluate () const |
Private Attributes | |
| MP_domain | d |
| Constant | exp |
| double | the_min |
Friends | |
| Constant | minimum (const MP_domain &i, const Constant &e) |
| Returns the sum of two constants. | |
Definition at line 212 of file MP_constant.cpp.
Definition at line 215 of file MP_constant.cpp.
| double flopc::Constant_min::evaluate | ( | ) | const [inline, private, virtual] |
Implements flopc::Constant_base.
Definition at line 222 of file MP_constant.cpp.
References d, flopc::MP_domain::Forall(), and the_min.
| void flopc::Constant_min::operator() | ( | ) | const [inline, private, virtual] |
Returns the sum of two constants.
| i | MP_domain used in evaluation | |
| e | second constant |
Definition at line 272 of file MP_constant.cpp.
MP_domain flopc::Constant_min::d [private] |
Constant flopc::Constant_min::exp [private] |
double flopc::Constant_min::the_min [mutable, private] |
1.4.7