Java Constraints Library（JCL）の問題：追加の表現方法は？

Question

Java Constraints Libraryを使用してCSPロジック問題を解決する必要があります。今のところ私は問題のいくつかの制約を表現することができました。そのほとんどはバイナリ制約 "equals"と "not equals"に基づいています。私の疑いは、どのように追加ベースの制約を表すか？例：

• ：
  • 変数1は
  • 変数2が
  • variable3はは
  • 変数4がDomainBの
  今

  に制約が属するドメインA

に属しDomainBのに属しているドメインAに属し変数1と変数2の合計はですはvariable3と variable4の合計よりも大きい。

観測：これらの変数はお金を表すので、追加することができます。

Answer 1

Java制約ライブラリは単項制約またはバイナリ制約のみを使用するため、n-ary制約を表すにはBinarization of Constraintsを実行する必要があります。また、図書館の既存の関係クラスを継承し、新しい互換関係を定義することもできます。