Параметры шаблона Uppaal
Я использую UPPAAL 4.1.19, и я следую обучающему обучению, данному в этом. В шаблоне Train я поставил параметры int[0,N] e, const int id и в системном объявлении я объявляю Train1=Train(el, 1); и система возвращает мне ошибку "Несовместимый аргумент" для e1, Я не понимаю, почему это на самом деле несовместимо? Я объявил N как константа, равная 5 в глобальных декларациях, а также el, но все же это не похоже на работу. Любая идея?
0 ответов
Пытаться int[0,N] &e, const int idтак же, как здесь (стр. 6): https://www.it.uu.se/research/group/darts/uppaal/small_tutorial.pdf.