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()

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