next up previous index
Next: Examples Up: The Finite Domains Library Previous: Debugging Constraint Programs   Index

Debugger Support

The ECLiPSe debugger supports debugging and tracing of finite domain programs in various ways. First of all, the debugger commands that handle suspended goals can be used to display suspended constraints (d, ^, u) or to skip to a particular constraint (w, i). Note that most of the constraints are displayed using a write macro, their internal form is different.

Successive updates of a domain variable can be traced using the debug event Hd. When used, the debugger prompts for a variable name and then it skips to the port at which the domain of this variable was reduced. When a newline is typed instead of a variable name, it skips to the update of the previously entered variable.

A sequence of woken goals can be skipped using the debug event Hw.



Warwick Harvey
2004-08-07