UPPAAL: выбор из предопределенного целочисленного массива

Question

До сих пор я знаю, как работает выбор в UPPAAL. Вы можете использовать оператор, например, например. i: int [2,42], выбирая все числа от 2 до 42.

Теперь у меня есть сеть из n автоматов (каждая с отдельным идентификатором) и двухмерный преминилированный целочисленный массив n * k, поэтому каждый автомат имеет k-длинный ряд целых чисел. Как сделать выбор из этого массива? Что-то вроде:

я: my_array [ID]

Таким образом, каждый автомат выбирает из своего набора из к предопределены чисел?

Лучшее, Pawel

Answer 1

У меня есть решение. Вы делаете это так:

i : int[1,k] // with k being the length of each row, as stated above 
j = my_array[id][i] 

Таким образом, j будет назначено число, заданное в массиве.