域最大值 - 巧克力解算器

Question

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

例如，这是我的域名：

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

如何获取域的最大值？ （这里最大值是10）

Answer 1

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

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

我鼓励你阅读资料来确切了解每项功能的行为。