Quantifier Expression

Iterates over the given domains to find an instance whose conditions are met.

Multiple functions are available for this block:

• exists
• forAll
• sum
• min
• max
• and
• or

For example, it can be used like this:

Which would produce the following Essence Output:

exists  x : int ( -1 .. 13 )  . ( ( x > y ) )