Else branches

A guard called [else] is active if all the guards on the other branches are false. Each decision node can have only one else branch.

The semantics of an else branch are similar to a structured if-then-else statement.


Feedback