9 #ifndef _MP_constraint_hpp_
10 #define _MP_constraint_hpp_
177 class GenerateFunctor;
230 return offset +
f(
I1->evaluate(),
I2->evaluate(),
I3->evaluate(),
231 I4->evaluate(),
I5->evaluate());
236 double price(
int i1=0,
int i2=0,
int i3=0,
int i4=0,
int i5=0)
const;
251 void display(
string s=
"")
const;
MP_constraint & such_that(const MP_boolean &b)
static MP_set & getEmpty()
gets the distinct 'empty' MP_set.
friend Constraint operator<=(const MP_expression &l, const MP_expression &r)
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading...
Constraint(Constraint_base *r)
MP_boolean operator>=(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...
Symbolic representation of a linear expression.This is one of the main public interface classes...
double price(int i1=0, int i2=0, int i3=0, int i4=0, int i5=0) const
friend Constraint operator>=(const MP_expression &l, const MP_expression &r)
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading...
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())
void operator=(const Constraint &v)
MP_boolean operator<=(const MP_index_exp &e1, const MP_index_exp &e2)
boolean which returns true if all in domain evaluate to true.This is used in the normal formation of ...
Utility for doing reference counted pointers.
Utility interface class for adding a string name onto a structure.
Representation of an expression involving an index.This is one of the main public interface classes...
int f(int i1=0, int i2=0, int i3=0, int i4=0, int i5=0) const
void insertVariables(set< MP_variable * > &v)
static const MP_index_exp & getEmpty()
Return the unique empty expression.
friend Constraint operator==(const MP_expression &l, const MP_expression &r)
Uses operator overloading to construct an ConstraintConstucts a Constraint using operator overloading...
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.
This is the anchor point for all constructs in a FlopC++ model.The constructors take an OsiSolverInte...
All flopc++ code is contained within the flopc namespace.
Reference counted class for all "boolean" types of data.This contains counters to ConstantBase pointe...
Sense_enum
Enumeration for indicating direction of a constraint.
Constraint_base(const MP_expression &l, const MP_expression &r, Sense_enum s)
void display(string s="") const
Reference counted class for all "constant" types of data.
MP_boolean operator==(const MP_index_exp &e1, const MP_index_exp &e2)
constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...
void coefficients(vector< MP::Coef > &cfs)
Internal representation of a "set".
Semantic representation of a linear constraint.This is one of the main public interface classes...