

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) |
Definition at line 113 of file MP_expression.cpp.
| flopc::Expression_sum::Expression_sum | ( | const MP_domain & | d, | |
| const MP_expression & | e | |||
| ) | [inline, private] |
Definition at line 116 of file MP_expression.cpp.
| void flopc::Expression_sum::generate | ( | const MP_domain & | domain, | |
| vector< Constant > | multiplicators, | |||
| GenerateFunctor & | f, | |||
| double | m | |||
| ) | const [inline, private] |
Definition at line 126 of file MP_expression.cpp.
| void flopc::Expression_sum::insertVariables | ( | set< MP_variable * > & | v | ) | const [inline, private] |
Definition at line 133 of file MP_expression.cpp.
References exp.
| double flopc::Expression_sum::level | ( | ) | const [inline, private, virtual] |
Implements flopc::MP_expression_base.
Definition at line 121 of file MP_expression.cpp.
References D, flopc::MP_domain::Forall(), and the_sum.
| void flopc::Expression_sum::operator() | ( | ) | const [inline, private, virtual] |
Implements flopc::Functor.
Definition at line 118 of file MP_expression.cpp.
| MP_expression sum | ( | const MP_domain & | d, | |
| const MP_expression & | e | |||
| ) | [friend] |
forms an expression by summing an expression over a domain.
MP_domain flopc::Expression_sum::D [private] |
Definition at line 138 of file MP_expression.cpp.
Referenced by generate(), and level().
MP_expression flopc::Expression_sum::exp [private] |
Definition at line 139 of file MP_expression.cpp.
Referenced by generate(), insertVariables(), and operator()().
double flopc::Expression_sum::the_sum [mutable, private] |
Definition at line 137 of file MP_expression.cpp.
Referenced by level(), and operator()().
1.6.1