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页)：tutorial.pdf。