Quantifier Expression

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

Multiple functions are available for this block:

• and
• or
• min
• max
• sum
• allDiff

For example, it can be used like this:

Which would produce the following Essence Output:

and  ([ x >= y, y <= x ])