java - Choco 4: 一連の値と等しくなるように変数の定義域を制約する

Question

次の配列SがありIntVar[]ます：

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

と呼ばれる次ArrayListのものもあります。IntegerfromHome

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

fromHomeプログラムの後半で導出されます。

S[0]のドメインに値のみが含まれるように制約したいと考えていfromHomeます。どうやってやるの？ありがとう！

Answer 1

member次のように制約を使用してこれを行う方法を見つけました。

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