Adressing specific instances of templates in UPPAAL-C

[AsgerHB]

In the requirements specification language, I can address variables of specific instances a template like

simulate[<=20;1] { Ball(0).p, Ball(1).p, Ball(2).p }

If I need to access these same variables in a function in my declarations, how could I do this? The same identifier(id).identifier pattern does not work

I have a Ball template that has hybrid clocks v and p. This ball template has multiple instances in the system, controlled by a parameter ball_id id provided to the template.

The id type is defined as:

 const int NUMBER_OF_BALLS = 3;
 typedef int[0, NUMBER_OF_BALLS - 1] ball_id;

Which is implicitly(?) used in this simple system definition:

system Ball, LearnerPlayer;

[thorulf4]

This is not really possible as template variables are not yet declared in the global declarations.

The simplest work around is probably moving your template state into global declarations. With something like:

hybrid clock v[ball_id];
hybrid clock p[ball_id];

Then Ball instantiations can use their id to get their own data.

[AsgerHB]

Thank you, that's a good tip. I tried this and everything works.