java - 域最大值 - Choco 求解器

Question

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

例如，这是我的域:

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

如何获得域的最大值？ (此处最大值为 10)

Answer 1

首先，您使用的是哪个版本的 choco 解算器？其次，您有作者提供的很好的 choco 文档，并且您仍然可以探索来源。在约束规划中，变量域的最大值称为上限。在 choco 3 中，您可以通过调用获取它:

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

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