|Did you know ...||Search Documentation:|
|CHR Debugging Predicates|
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.