OCLOperators forAll
No edit summary
(Automatically adding template at the end of the page.)
 
(One intermediate revision by the same user not shown)
Line 12: Line 12:
The reverse of this operator is [[OCLOperators exists|->exists]].
The reverse of this operator is [[OCLOperators exists|->exists]].
[[Category:OCL Collection Operators]]
[[Category:OCL Collection Operators]]
{{Edited|July|12|2024}}

Latest revision as of 15:41, 10 February 2024

Returns true if all the elements contained in self 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 95 days ago on 02/10/2024. What links here