|
MP_expression | flopc::operator+ (const MP_expression &e1, const MP_expression &e2) |
| Operator which sums two MP_expressions, forms a new MP_expression. More...
|
|
MP_expression | flopc::operator+ (const MP_expression &e1, const Constant &e2) |
| Operator which sums an MP_expression and a constant, and forms a new MP_expression. More...
|
|
MP_expression | flopc::operator+ (const Constant &e1, const MP_expression &e2) |
| Operator which sums a constant and an MP_expression , and forms a new MP_expression. More...
|
|
MP_expression | flopc::operator- (const MP_expression &e1, const MP_expression &e2) |
| Operator which subtracts an MP_expression from an MP_expression, and forms a new MP_expression. More...
|
|
MP_expression | flopc::operator- (const MP_expression &e1, const Constant &e2) |
| Operator which subtracts a Constant from an MP_expression, and forms a new MP_expression. More...
|
|
MP_expression | flopc::operator- (const Constant &e1, const MP_expression &e2) |
| Operator which subtracts an MP_expression from a Constant, and forms a new MP_expression. More...
|
|
MP_expression | flopc::operator* (const Constant &e1, const MP_expression &e2) |
| Operator which multiplies a Constant by an MP_expression, and forms a new MP_expression. More...
|
|
MP_expression | flopc::operator* (const MP_expression &e1, const Constant &e2) |
| Operator which multiplies an MP_expression by a Constant, and forms a new MP_expression. More...
|
|
MP_expression | flopc::sum (const MP_domain &d, const MP_expression &e) |
| forms an expression by summing an expression over a domain. More...
|
|