域最大值- Choco求解器

Question

我在Java中使用巧克力解算器。如何获取域名的最大值？

例如，下面是我的域：

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

如何获取域名的最大值？(这里的最大值是10)

Answer 1

首先，你使用的是哪个版本的巧克力解算器？其次，您有一个由作者提供的很好的巧克力文档，您仍然可以探索其源代码。在约束编程中，变量域的最大值被称为上界。在choco 3中，你可以通过调用：

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

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