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

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.

This page was edited 8 days ago on 09/11/2024. What links here