Documentation:OCLOperators forAll: Difference between revisions

OCLOperators forAll

Revision as of 16:29, 2 January 2022

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

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 85 days ago on 02/10/2024. What links here

@@ Line 4: / Line 4: @@
 !Result
 |-
-|Sequence{2.3, 5.2}->forAll(self > 3)
+|<nowiki>Sequence{2.3, 5.2}->forAll(x|x> 3)</nowiki>
 |false
 |-
-|Sequence{2.3, 5.2}->forAll(self > 1.2)
+|<nowiki>Sequence{2.3, 5.2}->forAll(x|x> 1.2)</nowiki>
 |true
 |}
 The reverse of this operator is [[OCLOperators exists|->exists]]
 [[Category:OCLOperators]]