Java 域最大值-Choco解算器

我在Java中使用choco解算器。如何获得域的最大值

例如，以下是我的域：

IntVar gisement_courant = model.intVar("Gisement courant", 5, 10);

---

如何获得域的最大值？（此处最大值为10）

首先，您使用的是哪种版本的choco solver？ 第二，你有一个很好的由作者提供的关于choco的文档，你仍然可以探索其来源。 在约束规划中，变量域的最大值称为上界。 在choco 3中，您可以通过拨打以下电话获得：

     IntVar gisement_courant = model.intVar("Gisement courant", 5, 10);
     gisement_courant. getUB()

---

我鼓励您阅读源代码，以准确了解每个函数的行为。

我使用的是choco 4.0.6。谢谢你的提示，我将阅读文档：）