Repository Window

The Repository Window contains all information related to the model at hand.

A Repository (Window) needs to be openend before any work can be done.

Toolbar buttons

The toolbar buttons are:

Edit (only active when a fact type or object type is selected) which opens the OT/FT Editor
New which opens the Expression Input Window
Edit Population (only active when a fact type or object type is selected) which opens the Edit Population Window
Constraints poplist, explained below
Subset Constraint Editor which opens the Subset Constraint Editor
Integrity Check which opens the window with the results of the well-formedness tests
GLR poplist, which ...