OCLOperators exists
No edit summary
(Replacing message template with parser tag)
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
<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.
Line 10: Line 11:
This is the reverse of [[OCLOperators forAll|->forAll]].
This is the reverse of [[OCLOperators forAll|->forAll]].
[[Category:OCL Collection Operators]]
[[Category:OCL Collection Operators]]
{{Edited|July|12|2024}}

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
Retrieved from "https://learn.mdriven.net/index.php?title=Documentation:OCLOperators_exists&oldid=20998"

© MDRIVEN . All Rights Reserved

API Docs
MDriven World | Portal | Blog | YouTube | StackOverflow | Facebook

© MDRIVEN . All Rights Reserved