|
Namespaces |
namespace | flopc |
Classes |
class | flopc::Expression_constant |
class | flopc::Expression_plus |
class | flopc::Expression_minus |
class | flopc::Expression_mult |
class | flopc::Expression_div |
class | flopc::Expression_sum |
Functions |
MP_expression | flopc::operator+ (const MP_expression &e1, const MP_expression &e2) |
| Operator which sums two MP_expressions, forms a new MP_expression.
|
MP_expression | flopc::operator+ (const MP_expression &e1, const Constant &e2) |
MP_expression | flopc::operator+ (const Constant &e1, const MP_expression &e2) |
MP_expression | flopc::operator- (const MP_expression &e1, const MP_expression &e2) |
MP_expression | flopc::operator- (const MP_expression &e1, const Constant &e2) |
MP_expression | flopc::operator- (const Constant &e1, const MP_expression &e2) |
MP_expression | flopc::operator * (const Constant &e1, const MP_expression &e2) |
MP_expression | flopc::operator * (const MP_expression &e1, const Constant &e2) |
MP_expression | flopc::operator/ (const MP_expression &e1, const Constant &e2) |
MP_expression | flopc::sum (const MP_domain &d, const MP_expression &e) |