| Overview | Group | Tree | Graph | Index | Concepts |
This function creates and returns a constraint that a must be a strict
subset of b. That is, they cannot be equal, and every element of a
is also an element of b.
See Also:
IlcAnySetVar, IlcCard, IlcConstraint, IlcIntSetVar, IlcSubsetEq