10.1.1 制約式に対する .val
制約式に対する値は，左辺値の現在値になります．例えば以下の制約式を考えます．
Variable x; Constraint co; co = x + 1 >= 1;
このとき co.val の値は x.val + 1 に等しくなります．
ただし，いくつかの制約式については .val の値は不定となります．このような場合は，.val を参照することは非推奨です．
具体的には，以下を含んだ制約式に対して不定です．
- DiscreteVariable
- SymmetricMatrix
- alldiff
- count
- max
- min
- selection
上に戻る