This function creates and returns a constraint that a must be a subset of b. (The set a may be equal to the set b.) To set a strict subset constraint, use the following statement:

 s.add(IlcSubset(set1, set2));

Adding These Constraints

You may add these constraints only during a Solver search; that is, inside a goal (an instance of IlcGoal) or inside a constraint (an instance of IlcConstraint). If you are looking for similar functionality in a constraint to add to a model, see IloEqUnion.