How to declare enum in Declarations and use in Models?

[denizcaygoz]

Hi,

According to the UPPAAL docs, enum is a reserved keyword. I wanted to use enum in my project but it didn't work out. Instead I use
const int like in the image.

is there any way I can declare enum and use them in the Guard in my models instead of declaring const int variables. Or is enum used for something else in UPPAAL?

[mikucionisaau]

enum is reserved for future, but not (yet) implemented.
It's the right workaround you have.