This predefined CP Optimizer constraint forces a constrained integer expression not to be an element of the array of integers indicated by elements. When you post IlcNotMember, it does the opposite of IlcMember.