This function can be used to define simple constraints that are not predefined. It creates and returns a constraint for use in an ILOG Concert Technology model. That constraint is defined for all the constrained variables in the array vars or for the single constrained variable y.

This kind of constraint is sometimes known as an element constraint.

The semantics of that generic constraint can be indicated in either one of several ways:

• by a predicate; in that case, the argument pred indicates that predicate;
• by the values that satisfy the constraint; in that case, the argument set indicates the combinations of values that satisfy the constraint, and the argument compatible must be IloTrue;
• by the values that do not satisfy the constraint; in that case, the argument set indicates the unsatisfactory combinations of values, and the argument compatible must be IloFalse;
• by making the constrained variable y equal to the element of the array a at the index indicated by x. In other words, y=a[x];

The order of the constrained variables in the array vars is important because the same order is respected in the predicate pred or the set. That is, IloTableConstraint passes an array of values to the member function isTrue for a predicate or to the member function isIn for a set, where the first such value is a value of vars[0], the second is a value of vars[1], and in general, the ith value is a value of the constrained variable vars[i].

To avoid exceptions, you must observe the following conditions:

• If the function is called with a predicate pred as an argument, the size of the array of constrained variables must be three.
• The size of vars is must be the same as the size of the set.