巧克力4:约束变量域等于一组值

Question

我有以下IntVar[]的 S：

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();