Minzinc：对二维数组的每一行应用约束

Question

我正在尝试对 int var 的二维数组的每一行应用 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。

有没有办法对二维数组进行切片？如果不是，我还能如何对大量数组变量应用常规约束？

Answer 1

二维数组 sequence 的第 r 行可以通过 row(sequence, r) 访问。