uppaal - 如何在 UPPAAL 中返回一个数组？

Question

我试图在 UPPAAL 函数中返回一个整数数组。正确的语法是什么？

此代码段不起作用：

int[] randomTest(int N)
{
    int test[2];
    test[0] = 0;
    test[1] = 1;
    return test;
}

Answer 1

时钟、通道、常量和整数变量允许使用数组。

它们是通过将大小附加到变量名称来定义的，

e.g. chan c[4]; clock a[2]; int[3,5] u[7];.

初始化器用于初始化整数变量和整数变量数组。

例如，int i := 2; or int i[3] := {1, 2, 3};.