Java Einschränkungen Library (JCL) Problem: Wie zusätzlich zu vertreten?

Question

Ich habe zu lösen, um ein CSP Logik Problem mit Java Constraints Bibliothek . Denn jetzt habe ich es geschafft, einige Einschränkungen des Problems darstellen, sind die meisten von ihnen basieren auf „gleich“ und „nicht gleich“ binären Einschränkungen. Mein Zweifel ist, wie eine Addition basiert Einschränkung darstellen? Beispiel:

• variable1 gehört DomainA
• variable2 gehört DomainB
• Variable3 gehört DomainA
• Variable4 gehört DomainB

Jetzt die Einschränkung:

• Die Summe der variable1 und variable2 ist größer ist als die Summe der Variable3 und Variable4.

Beobachtung. Diese Variablen repräsentieren Geld, so dass sie hinzugefügt werden können,

Answer 1

Da Java Constraint-Bibliothek nur einstellige oder binäre Einschränkungen verwendet, haben wir Binarisierung von Constraints um n-ary Beschränkungen darzustellen. Wir können auch vererben bestehende Beziehungen Klassen in der Bibliothek und definieren neue kompatible Beziehungen.