テンプレート セクション内でチャネルを宣言するときに、UPPAAL コンパイラがエラーをスローしないのはなぜですか? うまくいけば、他のテンプレートはこれらのチャネルにアクセスできないため、チャネル宣言は宣言セクション全体でのみ意味があるように見えます。それとも私は何かを見落としていますか？
ありがとう！
PS同期チャネルを介した「内部」テンプレート通信をモデル化したいのですが、テンプレート内でチャネルを宣言することが解決策になることを願っています。上の質問は、提起して答えるのが簡単なようです:)