Universal Quantifier (all)
The result is true iff the boolean expression is true for all variable bindings of the declarations.
-
Syntax:
-
forall
<var> : <set expression> [, <var> : <set expression> ...]
@
<boolean expression>
-
Example:
-
forall e: E @ not isLoop(e)