Bug 517 - Assign a Clock Value to An Integer
Summary: Assign a Clock Value to An Integer
Status: RESOLVED WONTFIX
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.3
Hardware: PC Windows NT
: P2 critical
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2011-08-01 22:04 CEST by Bora KARTAL
Modified: 2019-10-28 14:13 CET (History)
1 user (show)

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Bora KARTAL 2011-08-01 22:04:15 CEST
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;
Comment 1 Marius Mikučionis 2019-10-28 14:13:49 CET
Arbitrary math expressions over clocks are not allowed in timed automata.