Bug 216

Summary: Statements on edges
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P3    
Version: 3.6 Alpha 1   
Hardware: All   
OS: All   

Description Alexandre David 2005-11-03 17:51:56 CET
In updates of edges only expressions are currently allowed. There are some cases
where simple statements also make perfectly sense so we could have statements in
updates, or at least some of them. A candidate is the for() statement that is
very convenient to update an array.