Java 约束库 (JCL) 问题：加法如何表示？

Question

我必须解决一个 太阳能光伏发电 逻辑问题使用 Java 约束库. 。现在我已经设法表示了问题的一些约束，其中大多数都基于“等于”和“不等于”二元约束。我的疑问是，如何表示基于加法的约束？例子：

• 变量1属于DomainA
• 变量2属于DomainB
• 变量3属于DomainA
• 变量4属于DomainB

现在的约束：

• 变量1和变量2的总和大于变量3和变量4的总和。

观察：这些变量代表金钱，因此可以相加。

Answer 1

由于 Java 约束库仅使用一元或二元约束，因此我们必须这样做 约束的二值化 为了表示n元约束。我们还可以继承库中现有的关系类并定义新的兼容关系。