| Overview | Group | Tree | Graph | Index | Concepts |
This predefined Solver constraint forces the domain of exp to be a
subset of or equal to the array elements. When you post IlcMember,
it constrains each value of exp to belong to elements. In other words,
any value of exp that is not in the array elements will be removed from
the domain of exp.
See Also:
IlcConstraint, IlcIntArray, IlcIntExp, IlcMember, IlcNotMember
This predefined Solver constraint forces a constrained set variable to contain a
given element. It does so by creating a constraint that acts on the constrained set
variable setVar. When you post IlcMember, it constrains the
value of setVar to contain element. The following cases can arise:
element belongs to the required set of
setVar, then nothing happens.
element does not belong to the possible set of
setVar, then failure occurs.
element is added to the required set of
setVar, and the constraints posted on
setVar are activated. If the number of required elements becomes equal to the number of
possible elements as a result of this operation, the value of
setVar becomes the required set.See Also:
IlcAnyExp, IlcAnySetVar, IlcConstraint, IlcIntExp, IlcIntSetVar, IlcMember, IlcNotMember