OCLOperators forAll
This page was created by Alexandra on 2017-08-13. Last edited by Stephanie@mdriven.net 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.