Choco 4：约束变量域等于一组值
Choco 4: Constrain domain of variable to equal a set of values
我有以下数组 S of IntVar[]:
IntVar[] S = model.intVarArray("Flights Schedule", 18, 0, 19);
我还有以下 ArrayList of Integer，叫做 fromHome:
ArrayList<Integer> fromHome = [1, 2, 4];
fromHome在程序后面导出
我想将 S[0] 的域限制为仅包含 fromHome 中的值，不包含任何其他内容。我怎样才能做到这一点？谢谢！
我找到了一种使用 member 约束的方法，如下所示：
model.member(S[0], from_home).post();
我有以下数组 S of IntVar[]:
IntVar[] S = model.intVarArray("Flights Schedule", 18, 0, 19);
我还有以下 ArrayList of Integer，叫做 fromHome:
ArrayList<Integer> fromHome = [1, 2, 4];
fromHome在程序后面导出
我想将 S[0] 的域限制为仅包含 fromHome 中的值，不包含任何其他内容。我怎样才能做到这一点？谢谢！
我找到了一种使用 member 约束的方法，如下所示：
model.member(S[0], from_home).post();