next up previous index
Next: Keyboard Accelerators Up: Variable Matrix Previous: Variable Matrix

Menus and Buttons

Each column label has an identical menu which concerns the whole matrix, not only the column:

The menu items have the following meaning:

When the right mouse button is pressed on a variable field, the elements window   is displayed which shows the whole variable domain and its size. This is useful when the domain text is too long to fit into the variable field:

The Value field is used when the variable is interactively modified: while holding down the right mouse button, the user can type a value on the keyboard, which is displayed in the Value field:

When the right mouse button is released, Grace tries to bind the variable to this value. If it succeeds, this is interpreted as a new manual labelling step and the variable is instantiated:

On backtracking, this value will be removed from the variable domain, i.e. a binary choice point is created:

If the binding fails although the value is present in the variable domain, this value is simply removed from its domain without treating this as a new labelling step, because this modification is deterministic. If the value does not occur in the variable domain, nothing happens.

The left mouse button pressed over a variable field displays a menu:

The menu items have the following meaning:



next up previous index
Next: Keyboard Accelerators Up: Variable Matrix Previous: Variable Matrix



Micha Meier
Tue Jul 2 10:07:34 MET DST 1996