1、Distribution(分配随机变量的权重)
The := operator assigns the specified weight to the item or, if the item is a range, to every value in the range.
The :/ operator assigns the specified weight to the item or, if the item is a range, to the range as a whole. If
there are n values in the range, the weight of each value is range_weight / n. For example:
x dist {100 := 1, 200 := 2, 300 := 5}
means x is equal to 100, 200, or 300 with weighted ratio of 1-2-5. If an additional constraint is added that
specifies that x cannot be 200,
x != 200;
x dist {100 := 1, 200 := 2, 300 := 5}
then x is equal to 100 or 300 with weighted ratio of 1-5.