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 249 of file MP_constant.cpp.
Definition at line 252 of file MP_constant.cpp.
double flopc::Constant_min::evaluate | ( | ) | const [inline, private] |
Definition at line 259 of file MP_constant.cpp.
References d, flopc::MP_domain::forall(), and the_min.
void flopc::Constant_min::operator() | ( | ) | const [inline, private, virtual] |
Implements flopc::Functor.
Definition at line 253 of file MP_constant.cpp.
MP_domain flopc::Constant_min::d [private] |
Definition at line 265 of file MP_constant.cpp.
Referenced by evaluate().
Constant flopc::Constant_min::exp [private] |
Definition at line 266 of file MP_constant.cpp.
Referenced by operator()().
double flopc::Constant_min::the_min [mutable, private] |
Definition at line 267 of file MP_constant.cpp.
Referenced by evaluate(), and operator()().