Documentation:OCLOperators exists: Difference between revisions

OCLOperators exists

Latest revision as of 05:41, 11 February 2025

This page was created by Alexandra on 2017-08-13. Last edited by Stephanie@mdriven.net on 2025-02-11.

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.

@@ 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'', false otherwise. The evaluation stops as soon as one element validating ''expr'' is found.
 {| class="wikitable"
 !Expression
@@ Line 8: / Line 7: @@
 |true
 |}
-This is the reverse of [[OCLOperators forAll|->forAll]]
+This is the reverse of [[Documentation:OCLOperators forAll|->forAll]].
-[[Category:OCLOperators]]
+[[Category:OCL Collection Operators]]
+{{Edited|July|12|2025}}