🚀 Welcome to MDriven Learn –  MDriven is now on Discord!  Don’t miss the latest Release Notes.
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.

MDriven Chat

How would you like to chat today?

Setting up your conversation…

This may take a few moments