OCLOperators forAll
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(self > 3) | false |
Sequence{2.3, 5.2}->forAll(self > 1.2) | true |
The reverse of this operator is ->exists