OCLOperators exists
(Automatically adding template at the end of the page.)
(Adding message template to the top of the page)
Line 1: Line 1:
{{message|Write the content here to display this box}}


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.

Revision as of 22:24, 16 June 2024

Write the content here to display this box

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