Documentation:OCLOperators forAll: Difference between revisions

OCLOperators forAll

Revision as of 00:59, 11 September 2024

Returns true if all the elements of a collection validate the condition expr - otherwise, 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 9 days ago on 09/11/2024. What links here

@@ Line 1: / Line 1: @@
 <message>Write the content here to display this box</message>
-Returns true if all the elements contained in ''self'' validate the condition ''expr -'' otherwise, false.
+Returns true if all the elements  of a collection validate the condition ''expr -'' otherwise, false.
 {| class="wikitable"
 !Expression