Restricciones Java Library (JCL) problema: cómo representar la suma?

Question

Tengo que resolver un href="http://en.wikipedia.org/wiki/Constraint_satisfaction_problem" rel="nofollow noreferrer"> CSP problema de lógica Restricciones Java Biblioteca. Por ahora me las he arreglado para representar algunas restricciones del problema, la mayoría de ellos se basan en "iguales" y "no es igual a" restricciones binarias. Mi duda es, cómo representar una restricción basada en la suma? Ejemplo:

• variable1 pertenece a DominioA
• variable2 pertenece a DominioB
• variable3 pertenece a DominioA
• variable4 pertenece a DominioB

Ahora la restricción:

• La suma de variable1 y es variable2 mayor que la suma de variable3 y variable4.

Observación: estas variables representan dinero, por lo que se pueden añadir

.

Answer 1

Desde Java restricción Biblioteca utiliza sólo las limitaciones unarios o binarios, que tenemos que hacer binarización de las restricciones con el fin de representar las restricciones n-arias. También podemos heredar clases de relaciones existentes en la biblioteca y definir nuevas relaciones compatibles.