[ 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