This function creates and returns a constraint that ys[i] is the Boolean abstraction of xs[i] with respect to vals for use in a Solver search.

The argument xs should be an array of constrained variables. The argument vals is an array of integers or pointers.

For each xs[i], Solver creates the Boolean abstraction of xs[i] with respect to vals. In other words, for every variable in xs, xs[i], Solver creates a Boolean variable ys[i] such that ys[i]=0 if and only if xs[i] cannot be bound with a value of vals, and ys[i]=1 if and only if xs[i] will necessarily be bound with a value of vals. Then Solver insures that this property holds after the definition of the Boolean abstraction.

For a function that returns the array ys, rather than a constraint, see IlcBoolAbstraction.

For a constraint suitable for use in a model, see IloBoolAbstraction.