FLOPC++
|
Classes | |
class | SumFunctor |
Private Member Functions | |
Expression_sum (const MP_domain &d, const MP_expression &e) | |
double | level () const |
void | generate (const MP_domain &domain, vector< Constant > multiplicators, MP::GenerateFunctor &f, double m) const |
void | insertVariables (set< MP_variable * > &v) const |
Private Attributes | |
MP_domain | D |
MP_expression | exp |
Friends | |
MP_expression | sum (const MP_domain &d, const MP_expression &e) |
Definition at line 191 of file MP_expression.cpp.
flopc::Expression_sum::Expression_sum | ( | const MP_domain & | d, |
const MP_expression & | e | ||
) | [inline, private] |
Definition at line 194 of file MP_expression.cpp.
void flopc::Expression_sum::generate | ( | const MP_domain & | domain, |
vector< Constant > | multiplicators, | ||
MP::GenerateFunctor & | f, | ||
double | m | ||
) | const [inline, private, virtual] |
Implements flopc::MP_expression_base.
Definition at line 201 of file MP_expression.cpp.
void flopc::Expression_sum::insertVariables | ( | set< MP_variable * > & | v | ) | const [inline, private, virtual] |
Implements flopc::MP_expression_base.
Definition at line 208 of file MP_expression.cpp.
References exp.
double flopc::Expression_sum::level | ( | ) | const [inline, private, virtual] |
Implements flopc::MP_expression_base.
Definition at line 196 of file MP_expression.cpp.
References D, exp, flopc::MP_domain::forall(), and flopc::Expression_sum::SumFunctor::the_sum.
MP_expression sum | ( | const MP_domain & | d, |
const MP_expression & | e | ||
) | [friend] |
Definition at line 258 of file MP_expression.cpp.
MP_domain flopc::Expression_sum::D [private] |
Definition at line 222 of file MP_expression.cpp.
Referenced by generate(), and level().
MP_expression flopc::Expression_sum::exp [private] |
Definition at line 223 of file MP_expression.cpp.
Referenced by generate(), insertVariables(), and level().