|Summary:||Statements on edges|
|Product:||UPPAAL||Reporter:||Alexandre David <adavid>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Alpha 1|
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.