Java制約図書館（JCL）の問題:どのように表現されるほか?

Question

思いを解決するため CSP ロジック問題を用い Java制約図書館.今の私には一部制約の問題、それらのほとんどは、"対等"となっていて、"equals"バイナリー。私の間違いはどのように表現される加に基づく制約か?例:

• variable1属DomainA
• variable2属DomainB
• variable3属DomainA
• variable4属DomainB

現在の制約:

• 和のvariable1とvariable2は 以下のとおりになりvariable3と variable4.

観測:これらの変数を表すよう彼らを追加することができます。

Answer 1

以来、Java制約書のみを使用して単項またはバイナリ制約してい 二値化の制約 を表現するために、n-ary。こともできま継承し、既存の関係の授業は、図書館の定義の新規対応します。