This function creates and returns a constraint (an instance of IloConstraint) for use in a model. The constraint makes sure that for the sets in the array vars, the intersection of vars[i] with vars[j] will be empty for all i and j when this constraint is satisfied.

In order for the constraint to take effect, you must add it to a model with the template IloAdd or the member function IloModel::add and extract the model for an algorithm with the member function IloAlgorithm::extract.

What Is Extracted

All the variables of the set or array that have been added to the model and that have not been removed from it will be extracted when the algorithm IloSolver (documented in the IBM ILOG Solver Reference Manual) extracts the constraint.

IloCplex does not extract this constraint.