如何在 UPPAAL 中 return 一个数组?
How to return an array in UPPAAL?
我正在尝试 return UPPAAL 函数中的整数数组。
正确的语法是什么?
此代码段无效:
int[] randomTest(int N)
{
int test[2];
test[0] = 0;
test[1] = 1;
return test;
}
时钟、通道、常量和整型变量允许使用数组。
它们是通过在变量名后附加一个大小来定义的,
e.g. chan c[4]; clock a[2]; int[3,5] u[7];
.
初始化器用于初始化整数变量和整数变量数组。
例如,int i := 2; or int i[3] := {1, 2, 3};
.
我正在尝试 return UPPAAL 函数中的整数数组。 正确的语法是什么?
此代码段无效:
int[] randomTest(int N)
{
int test[2];
test[0] = 0;
test[1] = 1;
return test;
}
时钟、通道、常量和整型变量允许使用数组。
它们是通过在变量名后附加一个大小来定义的,
e.g. chan c[4]; clock a[2]; int[3,5] u[7];
.
初始化器用于初始化整数变量和整数变量数组。
例如,int i := 2; or int i[3] := {1, 2, 3};
.