最大域-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()

我鼓励您阅读源代码以确切了解每个功能的行为。