Class IloConstraint

An instance of this class is a constraint in a model. To create a constraint, you can:

• use a constructor from a subclass of IloConstraint, such as IloRange, IloAllDiff, etc. For example:

 IloAllDiff allDiff(env, vars); 

• use a logical operator between constraints to return a constraint. For example, you can use the logical operators on other constraints, like this:

 IloOr myOr = myConstraint1 || myConstraint2; 

• use an arithmetic operator between a numeric variable and an expression to return a constraint. For example, you can use the arithmetic operators on numeric variables or expressions, like this:

 IloRange rng = ( x + 3*y <= 7 ); 

After you create a constraint, you must explicitly add it to the model in order for it to be taken into account. To do so, use the member function IloModel::add or the template IloAdd. Then extract the model for an algorithm with the member function IloAlgorithm::extract.

Most member functions in this class contain assert statements. For an explanation of the macro NDEBUG (a way to turn on or turn off these assert statements), see the concept Assert and NDEBUG.