離散変数# 読み: りさんへんすう 英名: 与えられた集合の要素のいずれかを取る変数のこと． WCSP でのみ利用可能な変数である．離散変数を定義する場合は必ず取り得る値の集合を指定する必要がある． 例えば，\(1\) 以上 \(10\) 以下の整数値を持つ離散変数は， 集合 Set S="1 .. 10" を定義し，DiscreteVariable x(dom=S) と表記する． 関連 変数
