在约束中将IntVar用作IntVar []数组的索引

Question

我想使用Choco Solver将IntVar的值用作约束中另一个IntVar数组的索引。

我有一个IntVar，其中包含跟随第i个任务的下一个任务 我还有另一个IntVar，其中包含分配给任务的人员。 我的约束是确保任务分配的连续性。

这是我已经尝试过的方法，但是失败了：

model.distance(person[i], person[next[i].getValue()], "=", 0).post();

Answer 1

解决方案是使用IntConstraintFactory.element（IntVar值，int []表，IntVar索引，int偏移量）。

就我而言：

model.element(person[i], person, next[i], 0).post();