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

Question

为了在C中创建矩阵，我们需要编写以下代码：

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

我该如何在 Promela 中创建矩阵？

- Bekzhan

---

请展示你的努力。 - Asif Raza

Answer 1

从文档中得知：

使用typedef定义可以间接构建多维数组。

还从文档中得知：

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
}

更好的方法是使用一维数组。 （参考链接）

- Patrick Trentin