[ library(chr) | Reference Manual | Alphabetic Index ]
chr_notrace
Deactivates the standard or Opium debugger extension for constraint
handling rules.
Description
The query chr_trace. deactivates the standard or opium debugger. In
case of the Opium debugger, its window remains until quited.
Fail Conditions
None.
Resatisfiable
No.
Examples
Success:
[eclipse]: chr_notrace.
yes.
Debugger switched off
See Also
chr_opium / 0, chr_trace / 0