next up previous index
Next: Basic Labelling Up: Starting with Grace Previous: Basic Control

The Variable Stack

The varstack displays the current path in the search space together with past and future alternatives. Whenever a variable is selected for labelling, it is displayed in this window in a new row that contains the following items:

The variable domain box displays the original variable domain, current value of the variable, previous values which have been tried and failed (maybe after producing a solution and backtracking in the search for another one) and remaining values which still have to be tried. The whole bar width represents the original variable domain and selected domain parts are represented by rectangles with the appropriate width and position. The colours have the following meaning (ordered with increasing darkness when black-and white):

For example, after the sequence

X :: 0..10, X #< 8, grace_label(X)
and backtracking over the values 0, 1 and 2, the variable domain will be displayed as follows:



next up previous index
Next: Basic Labelling Up: Starting with Grace Previous: Basic Control



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