OCLOperators forAll
(Replacing message template with parser tag) |
Charles Olet (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
<message>Write the content here to display this box</message> | <message>Write the content here to display this box</message> | ||
Returns true if all the elements | Returns true if all the elements of a collection validate the condition ''expr -'' otherwise, false. | ||
{| class="wikitable" | {| class="wikitable" | ||
!Expression | !Expression | ||
Revision as of 00:59, 11 September 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 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.