I am trying to return an integer array in an UPPAAL function. What is the correct syntax for that?
This code snippet doesn't work:
int[] randomTest(int N)
{
int test[2];
test[0] = 0;
test[1] = 1;
return test;
}
Arrays are allowed for clocks, channels, constants and integer variables.
They are defined by appending a size to the variable name,
e.g. chan c[4]; clock a[2]; int[3,5] u[7];
.
Initialisers are used to initialise integer variables and arrays of integer variables.
For instance, int i := 2; or int i[3] := {1, 2, 3};
.