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...

#include <MP_constraint.hpp>

Inheritance diagram for flopc::MP_constraint:

[legend]

Collaboration diagram for flopc::MP_constraint:

[legend]

Public Member Functions
	MP_constraint (const MP_set_base &s1=MP_set::getEmpty(), const MP_set_base &s2=MP_set::getEmpty(), const MP_set_base &s3=MP_set::getEmpty(), const MP_set_base &s4=MP_set::getEmpty(), const MP_set_base &s5=MP_set::getEmpty())
	construct the MP_constraint with appropriate sets for indexing. More...

MP_constraint &	operator() (const MP_index_exp &i1=MP_index_exp::getEmpty(), const MP_index_exp &i2=MP_index_exp::getEmpty(), const MP_index_exp &i3=MP_index_exp::getEmpty(), const MP_index_exp &i4=MP_index_exp::getEmpty(), const MP_index_exp &i5=MP_index_exp::getEmpty())

	operator int ()

virtual	~MP_constraint ()

double	price (int i1=0, int i2=0, int i3=0, int i4=0, int i5=0) const

void	coefficients (GenerateFunctor &f)

int	row_number () const

MP_constraint &	such_that (const MP_boolean &b)

void	insertVariables (std::set< MP_variable * > &v)

void	operator= (const Constraint &v)

void	display (std::string s="") const

Public Member Functions inherited from flopc::RowMajor
int	size () const

Public Member Functions inherited from flopc::Named
std::string	getName () const

void	setName (const std::string &n)

Public Attributes
MP_model *	M

int	offset

MP_expression	left

MP_expression	right

Sense_enum	sense

Private Attributes
MP_boolean	B

const MP_set_base &	S1

const MP_set_base &	S2

const MP_set_base &	S3

const MP_set_base &	S4

const MP_set_base &	S5

MP_index_exp	I1

MP_index_exp	I2

MP_index_exp	I3

MP_index_exp	I4

MP_index_exp	I5

Additional Inherited Members
Protected Member Functions inherited from flopc::RowMajor
	RowMajor (int s1, int s2, int s3, int s4, int s5)

int	f (int i1=0, int i2=0, int i3=0, int i4=0, int i5=0) const

Protected Attributes inherited from flopc::RowMajor
int	size1

int	size2

int	size3

int	size4

int	size5

int	size_

Detailed Description

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.

The snippet below is an overly simplistic example, but is ok for illustration. MP_model aModel; // your model MP_set I; // the set the constraint is defined over. MP_variable x(I); // your variable ... MP_constraint cons(I); // construct the right number of constraints. cons = x <= 3; // Assign in the semantic rep to it. aModel.add(cons); // add it to the model
There is quite a bit of C++ machinery going on there.

MP_expression(const VariableRef& v); converts the VariableRef x into an MP_expression.
MP_constraint cons(I); construct the right dimensioned sized bundle of constraints.
friend Constraint operator<=(const MP_expression& l, const Constant& r); converts the x <= 3 into an Constraint.
Todo:
more work on MP_constraint.

Definition at line 194 of file MP_constraint.hpp.

Constructor & Destructor Documentation

MP_constraint::MP_constraint	(	const MP_set_base &	s1 = `MP_set::getEmpty()`,
		const MP_set_base &	s2 = `MP_set::getEmpty()`,
		const MP_set_base &	s3 = `MP_set::getEmpty()`,
		const MP_set_base &	s4 = `MP_set::getEmpty()`,
		const MP_set_base &	s5 = `MP_set::getEmpty()`
	)

construct the MP_constraint with appropriate sets for indexing.

Definition at line 48 of file MP_constraint.cpp.

References flopc::MP_model::add(), and flopc::MP_model::current_model.

virtual flopc::MP_constraint::~MP_constraint ( )

inlinevirtual

Definition at line 221 of file MP_constraint.hpp.

Member Function Documentation

void MP_constraint::coefficients ( GenerateFunctor & f )

Definition at line 65 of file MP_constraint.cpp.

References B, I1, I2, I3, I4, I5, left, right, S1, S2, S3, S4, S5, flopc::GenerateFunctor::setConstraint(), and such_that().

void MP_constraint::display ( std::string s = "" ) const

Definition at line 87 of file MP_constraint.cpp.

References flopc::MP_model::bl, flopc::MP_model::bu, M, offset, flopc::MP_model::rowActivity, flopc::MP_model::rowPrice, and flopc::RowMajor::size().

void MP_constraint::insertVariables ( std::set< MP_variable * > & v )

Definition at line 78 of file MP_constraint.cpp.

References left, and right.

flopc::MP_constraint::operator int ( )

inline

Definition at line 216 of file MP_constraint.hpp.

References flopc::RowMajor::f(), I1, I2, I3, I4, I5, and offset.

MP_constraint& flopc::MP_constraint::operator()	(	const MP_index_exp &	i1 = `MP_index_exp::getEmpty()`,
		const MP_index_exp &	i2 = `MP_index_exp::getEmpty()`,
		const MP_index_exp &	i3 = `MP_index_exp::getEmpty()`,
		const MP_index_exp &	i4 = `MP_index_exp::getEmpty()`,
		const MP_index_exp &	i5 = `MP_index_exp::getEmpty()`
	)