OCLOperators forAll
(Automatically adding template at the end of the page.) |
(Adding message template to the top of the page) |
||
Line 1: | Line 1: | ||
{{message|Write the content here to display this box}} | |||
Returns true if all the elements contained in ''self'' validate the condition ''expr -'' otherwise, false. | Returns true if all the elements contained in ''self'' validate the condition ''expr -'' otherwise, false. | ||
{| class="wikitable" | {| class="wikitable" |
Revision as of 22:24, 16 June 2024
This page was created by Alexandra on 2017-08-13. Last edited by Stephanie on 2025-02-11.
Write the content here to display this box
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.