Minzinc: применение ограничения к каждой строке 2D-массива

Question

Я пытаюсь применить ограничение regular к каждой строке двумерного массива типа int var:

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

Строка r 2D-массива sequence может быть получена с помощью row(sequence, r).