This predefined CP Optimizer 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.