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

Bug 279

Summary:	Allow arrays over scalarsets
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	enhancement
Priority:	P1
Version:	3.6 Alpha 4
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2006-02-26 21:46:54 CET

Currently, arrays cannot be indexed by scalarset elements. This should be supported.

Comment 1 Gerd Behrmann 2006-03-16 11:43:34 CET

Implemented on the trunk from rev. 1657.