There are two quantifier operators that allow tests of
all tiles in the world:
- Forall which
evaluates to true if and only if all tiles in the
world have a given property.
- Exists evaluates
to true if at least one tile (or possibly more) has a
given property.
The general syntax is:
Forall variable expression
Exists variable expression
where variable is a single letter u to z and
expression is any valid expression.
The expression may refer to the variable name
specified. Here are examples to try on the world
Four Squares:
Forall x Square(x)
Exists v Small(v)
Other Operators
Index