#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"
Go to the source code of this file.
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... | |
Namespaces | |
namespace | flopc |
All flopc++ code is contained within the flopc namespace. | |
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 ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator<= (const Constant &l, const MP_expression &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator<= (const MP_expression &l, const Constant &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator<= (const VariableRef &l, const VariableRef &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator>= (const MP_expression &l, const MP_expression &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator>= (const Constant &l, const MP_expression &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator>= (const MP_expression &l, const Constant &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator>= (const VariableRef &l, const VariableRef &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator== (const MP_expression &l, const MP_expression &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator== (const Constant &l, const MP_expression &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator== (const MP_expression &l, const Constant &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. | |
Constraint | flopc::operator== (const VariableRef &l, const VariableRef &r) |
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. |