Next: Keyboard Accelerators
Up: Control Panel
Previous: Matrix Switches
This area contains a number of fields which inform the user
about the state of the execution and its statistics.
The displayed fields are:
- Status line - to display messages about the execution status.
- Backtracks - shows the number of deep backtracks executed so far.
A deep backtrack is caused by the failure of the value selection
for a given selected variable.
Shallow failures of single values inside the value selection predicate
are not counted.
- Solutions - the number of solutions found so far.
When searching for the optimal solution inside grace_minimize/1
this field shows the number of solutions found so far
in parentheses.
- Step - the number of the
labelling step which is going to be executed
next.
This field can be modified: when the user types here
a number followed by a newline, the execution switches to the run
mode and stops at the given step.
Both smaller and greater numbers than the current step
number are accepted, i.e. it has the functionality
of both retry and jump commands of the normal ECLiPSe debugger.
- Size - shows the size of the search space
which remains to be searched.
It is the logarithm of the product of the sizes of
all variable domains still to be labelled.
It is quite useful e.g. to spot if one or more variables
have been modified when there are too many variables displayed
on the screen.
- Time - the used CPU time from the beginning of execution.
Note that this status field is not updated after a manual
jump to a previous goal.
- Cost - this item is shown only when looking for an optimal
solution.
It shows the domain of the variable equal to the
expression to be optimised.
Next: Keyboard Accelerators
Up: Control Panel
Previous: Matrix Switches
Micha Meier
Tue Jul 2 10:07:34 MET DST 1996