MP_constraint.hpp File Reference

#include <set>
#include <string>
#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.

Classes
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
	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. More...
Constraint	flopc::operator<= (const Constant &l, const MP_expression &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator<= (const MP_expression &l, const Constant &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator<= (const VariableRef &l, const VariableRef &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator>= (const MP_expression &l, const MP_expression &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator>= (const Constant &l, const MP_expression &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator>= (const MP_expression &l, const Constant &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator>= (const VariableRef &l, const VariableRef &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator== (const MP_expression &l, const MP_expression &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator== (const Constant &l, const MP_expression &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator== (const MP_expression &l, const Constant &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...
Constraint	flopc::operator== (const VariableRef &l, const VariableRef &r)
	Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading. More...