OCLOperators forAll
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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 74 days ago on 02/10/2024. What links here