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を試してください。