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