Как вернуть массив в 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};.