Documentation:OCLOperators forAll: Difference between revisions

OCLOperators forAll

Revision as of 16:22, 13 November 2019

Returns true if the all the elements contained in self validate the condition expr, false otherwise.

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

The reverse of this operator is ->exists

This page was edited 75 days ago on 02/10/2024. What links here

@@ Line 1: / Line 1: @@
 Returns true if the all the elements contained in ''self'' validate the condition ''expr'', false otherwise.
+{| class="wikitable"
+!Expression
+!Result
+|-
+|Sequence{2.3, 5.2}->forAll(self > 3)
+|false
+|-
+|Sequence{2.3, 5.2}->forAll(self > 1.2)
+|true
+|}
 The reverse of this operator is [[OCLOperators exists|->exists]]
 [[Category:OCLOperators]]