Bug 517

Summary: Assign a Clock Value to An Integer
Product: UPPAAL Reporter: Bora KARTAL <e129248>
Component: GUIAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: critical    
Priority: P2    
Version: 4.1.3   
Hardware: PC   
OS: Windows NT   
Architecture:

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;