Mozart/ozでは、変数のタプルがこれ以上制約できないかどうかを確認します

Question

ご挨拶、

アイデアは、例を挙げて最善を尽くすことができます。

ベクトルがあるとします vec(a:{FD.int 1#100} b:{FD.int 1#100} c:{FD.int 1#100})。私が追加するすべての追加の制約がこれ以上の情報を追加しないという点まで、私はこのベクトルに制約を追加できるようにしたいです。 vec.a, vec.b と vec.c それ以上。

モーツァルト/オズでそれをすることは可能ですか？

そのように考えたいです。

ループで：

1. 制約ストアにアクセスし、
2. 変更されているかどうかを確認してください
3. 変更がない場合は終了します。