java - 巧克力 4 : Constrain domain of variable to equal a set of values

Question

我有以下 S 的 IntVar[] 数组:

IntVar[] S = model.intVarArray("Flights Schedule", 18, 0, 19);

我还有以下 Integer 的 ArrayList，称为 fromHome:

ArrayList<Integer> fromHome = [1, 2, 4];

fromHome 稍后在程序中导出。

我想将 S[0] 的域限制为仅包含 fromHome 中的值，而不包含其他值。我怎样才能做到这一点？谢谢!

Answer 1

我找到了一种使用 member 约束来做到这一点的方法，如下所示:

model.member(S[0], from_home).post();