CP 优化器的这一预定义约束强制 "exp的域必须是或等于数组 "elements的子集。 When you post IlcMember, it constrains each value of exp to belong to elements. 换句话说，"exp中任何不在数组 "elements中的值都将从 "exp的域中删除。