Did you know ... | Search Documentation: |
Predicate chr_option/2 |
chr_option/2
declaration:
:- chr_option(Option,Value).
and may appear in the file anywhere after the first constraints declaration.
Available options are:
on
to enable the checks, and off
to disable the checks. If
this option is on, any guard fails when it binds a variable that appears
in the head of the rule. When the option is off (default), the behaviour
of a binding in the guard is undefined.full
to enable all available optimizations, and off
(default) to
disable all optimizations. The default is derived from the SWI-Prolog
flag optimise, where
true
is mapped to full
. Therefore the command
line option -O provides full CHR optimization. If
optimization is enabled, debugging must be disabled.on
(default) and off
. See
section 9.4 for
more details on debugging. The default is derived from the Prolog flag generate_debug_info,
which is true
by default. See --no-debug.
If debugging is enabled, optimization must be disabled.