Question

约束支持整数值集合以及集合成员资格操作符（在7.20节定义）。

如果没有其它的约束，inside操作符在选择值的时候，所有的值（包括单一值或范围值）都具有相等的概率。

inside操作符的否定形式指示表达式位于集合范围之外：!(expression inside {set})。

例如：

rand integer x, y, z;
constraint c1 {x inside {3, 5, [9:15], [24:32], [y:2*y], z};}

rand integer a, b, c;
constraint c2 {a inside {b, c};}
integer fives[0:3] = {5, 10, 15, 20};

rand integer v;
constraint c3 {v inside fives;}

很重要的一点是，我们必须注意：inside操作符是双向的，因此，上面的第二个例子等价于a == b || a == c。