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

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

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

如何在Promela中创建矩阵？

来自：

多维数组可以使用

typedef

定义间接构造

也可从以下网址：

示例

第一个示例演示如何使用

typedef

声明byte类型元素的二维数组

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

---

更好的方法是使用。

请展示您的努力。