This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 441

Summary: FEATURE: Allow 'forall' constructs in invariants
Product: UPPAAL Reporter: Jacob Illum <illum>
Component: libutapAssignee: Alexandre David <adavid>
Status: RESOLVED FIXED    
Severity: normal CC: marius, mchro
Priority: P2    
Version: 4.0.6   
Hardware: PC   
OS: All   
Architecture:

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.