Documentation:OCLOperators forAll: Difference between revisions

OCLOperators forAll

Latest revision as of 05:37, 11 February 2025

Returns true if all the elements of a collection validate the condition expression, otherwise returns false.

Expression	Result
Sequence{2.3, 5.2}->forAll(x\|x> 3)	false
Sequence{2.3, 5.2}->forAll(x\|x> 1.2)	true

The reverse of this operator is ->exists.

This page was edited 35 days ago on 02/11/2025. What links here

@@ Line 11: / Line 11: @@
 |true
 |}
-The reverse of this operator is [[OCLOperators exists|->exists]].
+The reverse of this operator is [[Documentation:OCLOperators exists|->exists]].
 [[Category:OCL Collection Operators]]
 {{Edited|July|12|2025}}