#include <sstream>
#include "MP_expression.hpp"
#include "MP_constant.hpp"
#include "MP_boolean.hpp"
#include "MP_constraint.hpp"
#include "MP_set.hpp"
#include "MP_variable.hpp"
Include dependency graph for MP_expression.cpp:
Go to the source code of this file.
Namespaces | |
namespace | flopc |
Classes | |
class | flopc::Expression_constant |
class | flopc::Expression_plus |
class | flopc::Expression_minus |
class | flopc::Expression_mult |
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::sum (const MP_domain &d, const MP_expression &e) |