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

Bug 218

Summary:	Implement 'exists'
Product:	UPPAAL	Reporter:	Alexandre David <adavid>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	enhancement
Priority:	P1
Version:	3.6 Alpha 1
Hardware:	All
OS:	All
Architecture:

Description Alexandre David 2005-11-04 15:35:28 CET

Implement 'exists'. It is not done yet.

Comment 1 Gerd Behrmann 2005-11-04 15:38:58 CET

Alexandre is refer to the existential quantification operator that should be added to the expression 
language. This is the dual of the forall operator described in bug 116. A similar syntax can be used for 
exists.

Comment 2 Gerd Behrmann 2005-11-06 17:40:26 CET

Increasing priority as this is a 'must have' for 3.6 final.

Comment 3 Gerd Behrmann 2005-11-20 14:02:02 CET

This is now available in CVS.