Renaming InfoSets
Procedure
-
Choose
Rename on the InfoSet: Initial Screen dialog box.This takes you to the Renaming InfoSets dialog box.
-
In the From field the system proposes the InfoSet that you are currently processing.
If you want to rename a different InfoSet, type its name in the From field.
-
Type in a new name for the InfoSet in the To field.
Confirm.