The Choose Constraints Pane

The Choose Constraints pane at the  PAL Constraints Tab allows you to display, verify, evaluate, view, and create constraints.

Constraints Buttons

The Constraints Buttons in the upper right of the Choose Constraints Pane at the PAL Constraints Tab allow you to tag and untag constraints for verification, display constraints at the Constraints Tab, and create, view, and delete constraints.

	Tag All: Tags all displayed constraints for verification or evaluation. Tagged constraints are shown with a check in the Evaluate? column to the left of the constraint.
	Untag All: Untags all displayed constraints for verification or evaluation. Untagged constraints are shown with a blank box in the Evaluate? column to the left of the constraint.
	Display All: Displays all constraints currently in the knowledge base at the PAL Constraints Tab
	View Constraint: Opens the PAL Expression Editor in a separate window, and allows you to view the selected constraint.
	Create Constraint: Creates a new constraint and opens the PAL Expression Editor in a separate window.
	Add Constraint to List: Opens the Select Instances dialog and allows you choose the constraint(s) you wish to have displayed at the Constraints Tab.
	Remove Constraint From List: Removes the selected constraint(s) from the list of constraints visible at the Constraints Tab. The constraint(s) remain in the knowledge base and are still displayed at the Instances Tab. They can also be added back to the list at the Constraints Tab later. It is best to click the constraint you wish to remove from the list immediately before you remove it.
	Delete Constraint: Removes selected constraint(s) from knowledge base completely. Removed constraints cannot be viewed elsewhere or recovered. It may be safest to delete constraints from the Instances Tab, where you can see which constraints are selected.

Constraint Columns

The constraint columns give information about the displayed constraints.

Evaluate?

Indicates which constraints are tagged for verification or evaluation. Tagged constraints are indicated with a check . You can tag or untag a constraint by clicking anywhere in the Evaluate area to the left of the constraint. You can also tag and untag all constraints using the Tag All and Untag All buttons.

Status

Indicates the result of verification or evaluation:

• After the button Warn about indicated constraints has been clicked, a green check sign in the Status column indicates that the constraint is syntactically correct. A red warning sign indicates that there are syntactic warnings or errors. Selecting a constraint that has a red warning sign will drive the Warning and Error pane to display the warning information.
• After the button Evaluate indicated constraints has been clicked, a green check sign in the Status column indicates that all instances meet the constraint. A red warning sign indicates that there are instances which violate the constraint. Selecting a constraint that has a red warning sign will drive the Query Response pane to display the warning information.

Constraint

Gives the name of the constraint. You can select a constraint by clicking in this column; however, note that selected constraints are not highlighted.

Warn/Evaluate Buttons

The buttons at the bottom of the Choose Constraints pane allow you to validate constraint syntax and evaluate whether there are any instances in the knowledge base that violate the tagged constraints.

• Warn about indicated constraints validates the syntax of all tagged constraints. The result is indicated in the Status column.  
• Evaluate indicated constraints evaluates whether any instances in the knowledge base violate the tagged constraints.  The result is indicated in the Status column. 

PAL Constraints User Interface/The Choose Constraints Pane

Next: The Constraints Attachment Pane

PAL Table of Contents