next up previous contents
Next: The ALF Libraries Up: Description of the Previous: The View-menu

The constraints

The scratch area also shows a list of constraints, this is a set of definitional equalities which must hold for the scratch area to represent well formed partial expressions. Constraints are being added or deleted as an object is being edited.

It is possible to select a constraint and solve it by choosing ``solve'' with the right button. This will take a constraint of the form

where e does not contain placeholders and replace all occurrences of with in the scratch area.

Bj|rn von Sydow
Wed Mar 20 13:05:14 MET 1996