This function creates and returns an array of constrained Boolean variables for using during a Solver search. The argument vars should be an array of constrained variables. The argument values is an array of integers or pointers.

For each vars[i], Solver creates the Boolean abstraction of vars[i] with respect to values. In other words, for every variable in vars, vars[i], Solver creates a constrained Boolean variable w[i] such that w[i]=0 if and only if vars[i] cannot be bound with a value of values and w[i]=1 if and only if vars[i] will necessarily be bound with a value of values. Then Solver insures that these properties hold after the definition of the Boolean abstraction.

For a function that returns a constraint (rather than an array), see IlcEqBoolAbstraction.

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