FLOPC++
|
Private Member Functions | |
Expression_sum (const MP_domain &d, const MP_expression &e) | |
void | operator() () const |
double | level () const |
void | generate (const MP_domain &domain, vector< Constant > multiplicators, GenerateFunctor &f, double m) const |
void | insertVariables (set< MP_variable * > &v) const |
Private Attributes | |
double | the_sum |
MP_domain | D |
MP_expression | exp |
Friends | |
MP_expression | sum (const MP_domain &d, const MP_expression &e) |
Additional Inherited Members | |
![]() | |
MP_expression_base () | |
virtual void | generate (const MP_domain &domain, std::vector< Constant > multiplicators, GenerateFunctor &f, double m) const =0 |
virtual void | insertVariables (std::set< MP_variable * > &v) const =0 |
virtual | ~MP_expression_base () |
![]() | |
Functor () | |
virtual | ~Functor () |
Definition at line 113 of file MP_expression.cpp.
|
inlineprivate |
Definition at line 116 of file MP_expression.cpp.
|
inlineprivate |
Definition at line 126 of file MP_expression.cpp.
|
inlineprivate |
Definition at line 133 of file MP_expression.cpp.
|
inlineprivatevirtual |
Implements flopc::MP_expression_base.
Definition at line 121 of file MP_expression.cpp.
|
inlineprivatevirtual |
Implements flopc::Functor.
Definition at line 118 of file MP_expression.cpp.
|
friend |
forms an expression by summing an expression over a domain.
Definition at line 173 of file MP_expression.cpp.
|
private |
Definition at line 138 of file MP_expression.cpp.
|
private |
Definition at line 139 of file MP_expression.cpp.
|
mutableprivate |
Definition at line 137 of file MP_expression.cpp.