Bug 186

Summary: Mixed record types
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P3    
Version: 3.5.9   
Hardware: All   
OS: All   

Description Gerd Behrmann 2005-08-19 22:10:50 CEST
Currently, record types may only consist of integers. It would be very useful to be able to mix integers, 
clocks and channels in a record, e.g.

  clock x;
  int i;
  chan c;
  meta int j;

Obviously, such record variables cannot have an initialiser, as clocks and channels cannot have 
Comment 1 Gerd Behrmann 2005-11-06 17:46:26 CET
Increasing priority. We should try to finish this for 3.6 alpha 2.