UPPAAL：从预定义的整数数组中选择
UPPAAL: Selection from a predefined integer array
到目前为止，我知道选择在 UPPAAL 中是如何工作的。您可以使用像这样的声明i : int[2,42] 选择 2 到 42 之间的所有数字。
现在我有一个由 n 个自动机（每个都有不同的 id）和一个二维的、预初始化的整数数组 n * k 组成的网络，所以每个自动机都有一个 k 长的整数行。如何从这个数组中进行选择？类似于：
我：my_array[id]
所以每个自动机都从它的 k 个预定义数字集合中选择？
最好的，帕维尔
我得到了解决方案。你这样做：
i : int[1,k] // with k being the length of each row, as stated above
j = my_array[id][i]
因此j将被分配数组中预定义的数字。
到目前为止，我知道选择在 UPPAAL 中是如何工作的。您可以使用像这样的声明i : int[2,42] 选择 2 到 42 之间的所有数字。
现在我有一个由 n 个自动机（每个都有不同的 id）和一个二维的、预初始化的整数数组 n * k 组成的网络，所以每个自动机都有一个 k 长的整数行。如何从这个数组中进行选择？类似于：
我：my_array[id]
所以每个自动机都从它的 k 个预定义数字集合中选择？
最好的，帕维尔
我得到了解决方案。你这样做：
i : int[1,k] // with k being the length of each row, as stated above
j = my_array[id][i]
因此j将被分配数组中预定义的数字。