Documentation:OCLOperators exists: Difference between revisions

OCLOperators exists

Revision as of 07:50, 17 June 2024

This page was created by Alexandra on 2017-08-13. Last edited by Stephanie@mdriven.net on 2025-02-11.

Returns true if at least one element in self validates the condition expr - otherwise, returns false. The evaluation stops as soon as one element validating expr is found.

Expression	Result
Sequence{2.3, 5.2}->exists(self > 3)	true

This is the reverse of ->forAll.

Revision as of 22:24, 16 June 2024 (view source) Wikiadmin (talk \| contribs) (Adding message template to the top of the page) ← Older edit		Revision as of 07:50, 17 June 2024 (view source) Wikiadmin (talk \| contribs) (Replacing message template with parser tag) Newer edit →
Line 1:		Line 1:
	{{message\|Write the content here to display this box}}		<message>Write the content here to display this box</message>

	Returns true if at least one element in ''self'' validates the condition ''expr -'' otherwise, returns false. The evaluation stops as soon as one element validating ''expr'' is found.		Returns true if at least one element in ''self'' validates the condition ''expr -'' otherwise, returns false. The evaluation stops as soon as one element validating ''expr'' is found.