Как создать двумерный массив в Promela?

Question

Чтобы создать матрицу в C, нам нужно написать:

int[][] a = {{1,2,3},{1,2,3},{1,2,3}}

Как создать матрицу в Promela?

Answer 1

Из документов :

Многомерные массивы могут быть построены косвенно с использованием определений typedef.

Также из docs :

ПРИМЕРЫ

В первом примере показано, как объявить двумерный массив элементоввведите байт с typedef.

typedef array { /* typedefs must be global */
    byte aa[4]
};
init {
    array a[8];   /* 8x4 = 32 bytes total */
    a[3].aa[1] = 5
}

. Лучше всего использовать одномерные массивы .