Displaying Constraints at the Instances Tab

All constraints are instances of the class :PAL-CONSTRAINT. This means you can easily view the list of all constraints in a knowledge base at the Instances tab. 

To do this:

1. Click on the Instances tab to select it.
2. If the direct subclasses of :SYSTEM-CLASS are not displayed, click on the icon immediately to the left.
3. If the direct subclasses of :CONSTRAINT are not displayed, click on the into immediately to the left.
4. Click on :PAL-CONSTRAINT.
   The direct instances of :PAL-CONSTRAINT, which are the constraints created in the knowledge base, are displayed in the Direct Instances pane. Clicking on a constraint displays the PAL Expression Editor for the constraint in the Instance Form to the right.

PAL Constraints User Interface/Displaying Constraints at the Instances Tab

Next: Displaying Constraints at the PAL Constraints Tab

PAL Table of Contents