Simulation Command Reference : Auto Batch Commands : CHOOSE

CHOOSE

The CHOOSE statement is used in nondeterministic situations to choose a solution.

Syntax:
The CHOOSE statement is used to choose the integer where integer is the assigned number of the desired nondeterminism solution.
When nondeterminism is encountered and interactive mode enabled, the Simulation tool displays the first possible solution. Use next to inspect other solutions. Use choose to select the displayed solution. A go resume is performed after choose.
Example:
choose 3