Obviously you can write constraints that give a weight to a consecutive range of values:
rand int value;
constraint dist_name {value dist { [0:5] :/ 50, [6:23] :/ 50}; }But how could one go about creating a weighted distribution for a non-consecutive set of values?
Something like:
rand int value;
constraint dist_name {value dist { inside {0,4,7} :/ 50, inside {2,3,9} :/ 50}; }Obviously without some kind of "inside" operator, the {} are treated as concatenation... is there a way?
