|Did you know ...||Search Documentation:|
|Debugging CHR programs|
In addition to the above ports, CHR constraints have five additional ports:
chr_trace/0 predicate and disabled with the chr_notrace/0 predicate.
When enabled the tracer will step through the
ports, accepting debug commands, and simply write out the other ports.
The following debug commands are currently supported:
CHR debug options: <cr> creep c creep s skip g ancestors n nodebug b break a abort f fail ? help h help
Their meaning is:
library(chr)module contains several predicates that allow inspecting and printing the content of the constraint store.
fullto stop at all ports,
offto never stop, and
defaultto stop at the
applyports. See also leash/1.
chr_toplevel_show_storecontrols whether the top level shows the constraint stores. The value
trueenables it. Any other value disables it.