[
ECLiPSe Constraint Handling Rules library (chr) built-in.
|
Group Index
|
Full 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.
Exceptions
Examples
Success: [eclipse]: chr_notrace. yes. Debugger switched off
See Also
chr_opium / 0
,
chr_trace / 0