OCLOperators exists
(Adding message template to the top of the page)
(Replacing message template with parser tag)
 
Line 1: Line 1:
{{message|Write the content here to display this box}}
<message>Write the content here to display this box</message>


Returns true if at least one element in ''self'' validates the condition ''expr -'' otherwise, returns false. The evaluation stops as soon as one element validating ''expr'' is found.
Returns true if at least one element in ''self'' validates the condition ''expr -'' otherwise, returns false. The evaluation stops as soon as one element validating ''expr'' is found.

Latest revision as of 07:50, 17 June 2024


Returns true if at least one element in self validates the condition expr - otherwise, returns false. The evaluation stops as soon as one element validating expr is found.

Expression Result
Sequence{2.3, 5.2}->exists(self > 3) true

This is the reverse of ->forAll.

This page was edited 95 days ago on 06/17/2024. What links here