OCLOperators forAll
m ((username removed) (log details removed): Moving to Documentation namespace) |
(Automatically adding template at the end of the page.) |
||
| 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}} | |||
Revision as of 15:41, 10 February 2024
This page was created by Alexandra on 2017-08-13. Last edited by Stephanie on 2025-02-11.
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.