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 .

