dist

distオペレータはclass内の変数に対して、ランダム制約を付加する際に使用します。ランダムデータを一定の分布になるように発生させます。 constraint 制約名 { 制約を設定する変数 dist {分布条件} ; } ...