java - Choco 4：约束变量域等于一组值

Question

我有以下数组S：IntVar[]

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

我也有以下ArrayList，Integer称为fromHome：

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

fromHome稍后在程序中派生。

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

Answer 1

我找到了一种使用member约束的方法，如下所示：

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