Checking InfoSets

Use

Click on the Check icon to start the global syntax check. Unlike the Generate function, this function does not include storing a generated version of the InfoSet on the database.

You can access the function from various screens:

  • From the InfoSet: Initial Screen

  • From the Change InfoSet screen

Features

If you want to check several InfoSets in a single step, choose in the InfoSet: Initial Screen the menu path Start of the navigation pathGoto Next navigation step More Functions Next navigation step Check and GenerateEnd of the navigation path.

More Information

Generating InfoSets