FLOPC++
|
Private Member Functions | |
Expression_mult (const Constant &e1, const MP_expression &e2) | |
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 | |
Constant | left |
MP_expression | right |
Friends | |
MP_expression | operator* (const Constant &e1, const MP_expression &e2) |
MP_expression | operator* (const MP_expression &e1, const Constant &e2) |
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 () |
Definition at line 89 of file MP_expression.cpp.
|
inlineprivate |
Definition at line 94 of file MP_expression.cpp.
|
inlineprivate |
Definition at line 99 of file MP_expression.cpp.
|
inlineprivate |
Definition at line 106 of file MP_expression.cpp.
|
inlineprivatevirtual |
Implements flopc::MP_expression_base.
Definition at line 96 of file MP_expression.cpp.
|
friend |
Operator which multiplies a Constant by an MP_expression, and forms a new MP_expression
Definition at line 166 of file MP_expression.cpp.
|
friend |
Operator which multiplies an MP_expression by a Constant, and forms a new MP_expression
Definition at line 169 of file MP_expression.cpp.
|
private |
Definition at line 109 of file MP_expression.cpp.
|
private |
Definition at line 110 of file MP_expression.cpp.