Vincoli Java Library (JCL) problema: come rappresentare oltre?

Question

Devo risolvere un CSP problema di logica utilizzando Vincoli Java Biblioteca. Per ora sono riuscito a rappresentare alcuni vincoli del problema, la maggior parte di esse si basano su "uguale" e "non è uguale a" vincoli binari. Il mio dubbio è, come rappresentare un'aggiunta vincolo basato? Esempio:

• variabile1 appartiene alla DomainA
• variable2 appartiene alla DomainB
• Variabile3 appartiene alla DomainA
• variable4 appartiene alla DomainB

Ora il vincolo:

• La somma di variabile1 e variabile2 è maggiore della somma di Variabile3 e variable4.

condizioni: queste variabili rappresentano il denaro, in modo che possano essere aggiunti

.

Answer 1

Dal momento che Java Constraint Library utilizza solo i vincoli unarie o binari, dobbiamo fare Binarizzazione dei vincoli al fine di rappresentare i vincoli n-ari. Possiamo anche ereditare classi relazioni esistenti nella biblioteca e definire nuove relazioni compatibili.