巧克力4：約束變量的域爲等於一組值

Question

的我有以下陣列SIntVar[]的：

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

我也有以下的IntegerArrayList，稱爲fromHome：

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

fromHome稍後在程序中派生。

我想限制域S[0]僅包含fromHome中的值，而不包含其他值。我怎樣才能做到這一點？謝謝！

Answer 1

我發現了一個辦法做到這一點使用member約束如下：

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