How to use string type in uppaal?

[刘乔森]

According to "https://docs.uppaal.org/language-reference/system-description/declarations/types/", UPPAAL supports string. How do I declare it?

[Marius Mikučionis]

On Wednesday 6 December 2023 at 09:26:18 UTC+1 liuqiaosen666 wrote:

According to "https://docs.uppaal.org/language-reference/system-description/declarations/types/", UPPAAL supports string. How do I declare it?

For example:

const string path = "/some/file";

The string constants are supported in a very narrow context of calling external libraries:

https://docs.uppaal.org/language-reference/system-description/declarations/external-functions/

Also paths in the loadStrategy and saveStrategy queries:

https://docs.uppaal.org/language-reference/query-syntax/strategy_queries/

 

Best regards,

Marius