function - Uppaal 模板参数

Question

我正在使用 UPPAAL 4.1.19 并且我正在关注本教程中给出的火车教程。在训练模板中，我将参数放入int[0,N] e, const int id我声明的系统声明Train1=Train(el, 1);中，系统返回“不兼容的参数”错误e1。我不明白为什么它实际上不兼容？我已经N在全局声明中声明了一个等于 5 的常量，以及el，但它似乎仍然不起作用。任何想法？

Answer 1

尝试int[0,N] &e, const int id，与此处类似（第 6 页）：https ://www.it.uu.se/research/group/darts/uppaal/small_tutorial.pdf 。