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

Question

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

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

我如何在Promela中创建一个矩阵？

Answer 1

来自文档

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

也来自文档

示例 第一个例子展示了如何用一个typedef来声明一个二维数组，其类型是字节类型的元素。 类型胡枝子数组{ /* typedefs必须是全局*/字节aa4 }；init {数组a8；/* 8x4 = 32字节总计*/ a3.a1=5}

更好的方法是使用一维阵列。