Как вернуть массив в UPPAAL?

Question

Я пытаюсь вернуть целочисленный массив в функции UPPAAL. Какой правильный синтаксис для этого?

Этот фрагмент кода не работает:

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

uppaal

Источник

user8192538 31 янв '19 в 10:42

1 ответ

Решение

Другие вопросы по тегам uppaal

user1189800 31 янв '19 в 10:53 2019-01-31 10:53 · Accepted Answer · 2019-01-31 10:53

Массивы разрешены для часов, каналов, констант и целочисленных переменных.

Они определяются путем добавления размера к имени переменной,

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

Инициализаторы используются для инициализации целочисленных переменных и массивов целочисленных переменных.

Например, int i := 2; or int i[3] := {1, 2, 3};,