[ 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