matrix - 如何在 Promela 中创建二维数组？

Question

要在 C 中创建矩阵，我们需要编写:

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

如何在 Promela 中创建矩阵？

Answer 1

来自docs :

Multidimensional arrays can be constructed indirectly with the use of typedef definitions.

同样来自 docs :

EXAMPLES

The first example shows how to declare a two-dimensional array of elements of type byte with a typedef.

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

更好的方法是使用 one-dimensional arrays .