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

我鼓勵您閱讀源代碼以確切了解每個功能的行為。