上模板参数

Question

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

Answer 1

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