Classes | |
class | MaxFunctor |
Private Member Functions | |
Constant_max (const MP_domain &i, const Constant &e) | |
double | evaluate () const |
Private Attributes | |
MP_domain | d |
Constant | exp |
Friends | |
Constant | maximum (const MP_domain &i, const Constant &e) |
Returns the maximum over the domain of the constant. |
Definition at line 223 of file MP_constant.cpp.
Definition at line 226 of file MP_constant.cpp.
double flopc::Constant_max::evaluate | ( | ) | const [inline, private, virtual] |
Implements flopc::Constant_base.
Definition at line 227 of file MP_constant.cpp.
References d, exp, flopc::MP_domain::forall(), and flopc::Constant_max::MaxFunctor::the_max.
MP_domain flopc::Constant_max::d [private] |
Definition at line 245 of file MP_constant.cpp.
Referenced by evaluate().
Constant flopc::Constant_max::exp [private] |
Definition at line 246 of file MP_constant.cpp.
Referenced by evaluate().