An instance of IloStrong strengthens the model on the variables of the array given as an argument. This is done by creating an IloAllowedAssignments constraint in place of the IloStrong constraint. The replacing constraint contains the solution tuples of the model on the variables of the array given as argument. It achieves the strongest domain reduction algorithm for these variables. Constraints that can be identified as redundant when taken together with this new constraint are removed. This is the case for constraints that are only over the variables of the array given as argument.

This function is for use with CP Optimizer.

Note: This constraint cannot be used in a logical constraint.