Next: Keyboard Accelerators
Up: Varstack
Previous: Varstack
Each varstack line has an associated menu which shows
the following items:
- The varstack depth - this is only a label that cannot be selected;
it is useful in the varstack area which is still empty.
- retry - retry the most recent labelling step in this depth.
- next - the execution mode changes to run and the program
runs until it reaches the next labelling step in this level.
- fail - enforce failure of this labelling step.
The program behaves as if all values of this variable had been tried
and failed.
This item must be used with care because it might discard
valid solutions.
It is useful mainly when we know that there are no solutions in this
branch of the search space and we want to quickly jump forward.
Note that menus pop up also in empty lines, so that breakpoints on
higher levels can be set.
Micha Meier
Tue Jul 2 10:07:34 MET DST 1996