Minzinc:在二维数组的每一行上应用约束

Question

我正在尝试对int var的2D数组的每一行应用regular约束：

enum ROW;
enum COL;
enum VAR_ENUM;
array[ROW, COL] of var VAR_ENUM: sequence;
include "regular.mzn"
constraint forall(r in ROW)(regular(sequence[r], ... other regular parameters))

我最终得到了错误MiniZinc: type error: 2-dimensional array accessed with 1 expression。

有没有一种方法可以对2D数组进行切片？如果没有，我还能如何对大量数组变量应用常规约束呢？

Answer 1

2D阵列sequence的行r可以通过row(sequence, r)访问。