|Summary:||FEATURE: Allow 'forall' constructs in invariants|
|Product:||UPPAAL||Reporter:||Jacob Illum <illum>|
|Component:||libutap||Assignee:||Alexandre David <adavid>|
Description Jacob Illum 2008-05-06 13:21:09 CEST
A feature allowing the use of forall in invariants would be greatly appreciated. This would be very convenient, particularly now that Uppaal allows stopwatches from version 4.1.0.
Comment 1 Alexandre David 2009-03-02 19:32:15 CET
This feature is already supported in 4.0.7 & development versions. What you want is to be able to define rates in forall all expressions.
Comment 2 Alexandre David 2009-03-02 21:42:51 CET
forall with clock rates is supported from rev. 4230.