Im trying to assign a clock value to an integer. However UPPAAL does not allow it. I tried casting the clock value to an integer. However this did not work. Is there a way to do this? clock c; int a; a = c + 5;
Arbitrary math expressions over clocks are not allowed in timed automata.