#include <set>
#include <map>
#include "MP_set.hpp"
#include "MP_domain.hpp"
#include "MP_utilities.hpp"
#include "MP_expression.hpp"
#include "MP_boolean.hpp"
#include "MP_data.hpp"
Include dependency graph for MP_constraint.hpp:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
namespace | flopc |
Classes | |
class | flopc::Constraint_base |
class | flopc::Constraint |
class | flopc::MP_constraint |
Semantic representation of a linear constraint.
This is one of the main public interface classes. It is always constructed through operator overloading between expressions, constants, and variables. There are many 'friend' overloaded operators to do the constuction. The basic idea is to make the constraint look like a paper-model constraint in C++ code. Once constructed, it should be added to the model. More... | |
Enumerations | |
enum | flopc::Sense_enum { flopc::LE, flopc::GE, flopc::EQ } |
Enumeration for indicating direction of a constraint. More... | |
Functions | |
Constraint | flopc::operator<= (const MP_expression &l, const MP_expression &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator<= (const Constant &l, const MP_expression &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator<= (const MP_expression &l, const Constant &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator<= (const VariableRef &l, const VariableRef &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator>= (const MP_expression &l, const MP_expression &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator>= (const Constant &l, const MP_expression &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator>= (const MP_expression &l, const Constant &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator>= (const VariableRef &l, const VariableRef &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator== (const MP_expression &l, const MP_expression &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator== (const Constant &l, const MP_expression &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator== (const MP_expression &l, const Constant &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. | |
Constraint | flopc::operator== (const VariableRef &l, const VariableRef &r) |
Uses operator overloading to construct an Constraint
Constucts a Constraint using operator overloading. |