OCLOperators forAll
Peter Mugabe (talk | contribs) No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
!Result | !Result | ||
|- | |- | ||
|Sequence{2.3, 5.2}->forAll( | |<nowiki>Sequence{2.3, 5.2}->forAll(x|x> 3)</nowiki> | ||
|false | |false | ||
|- | |- | ||
|Sequence{2.3, 5.2}->forAll( | |<nowiki>Sequence{2.3, 5.2}->forAll(x|x> 1.2)</nowiki> | ||
|true | |true | ||
|} | |} | ||
The reverse of this operator is [[OCLOperators exists|->exists]] | The reverse of this operator is [[OCLOperators exists|->exists]] | ||
[[Category:OCLOperators]] | [[Category:OCLOperators]] | ||
Revision as of 16:29, 2 January 2022
This page was created by Alexandra on 2017-08-13. Last edited by Stephanie on 2025-02-11.
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