[ Reference Manual | Alphabetic Index ]

# library(chr)

Constraint Handling Rules Library - obsolescent, use library(ech) instead

## Predicates

> CHR=(?, ?)
>   No description available
> CHRalready_in(?)
>   No description available
> CHRcheck_and_mark_applied(?, ?)
>   No description available
> CHRcheck_and_mark_applied(?, ?, ?, ?, ?)
>   No description available
> CHRdelay(?, ?)
>   No description available
> CHRfail
>   No description available
> CHRgen_num(?)
>   No description available
> CHRget_delayed_goals(?, ?)
>   No description available
> CHRhead_not_kept(?)
>   No description available
> CHRkeep_heads_checking(?, ?, ?, ?)
>   No description available
> CHRkeep_heads_checking(?, ?, ?, ?, ?, ?)
>   No description available
> CHRkill(?)
>   No description available
> CHRnonvar(?)
>   No description available
> CHRvar(?)
>   No description available
> chr(+File)
>   Compile File.chr into a .pl file and load the pl file.
> chr2pl(+File)
>   Compile File.chr into a .pl file.
> chr_delayed_goals_handler(?, ?, ?)
>   No description available
> chr_get_constraint(?Constraint)
>   Remove a constraint unifying with Constraint from the constraint store.
> chr_get_constraint(Variable,?Constraint)
>   Remove a constraint in which the variable Variable occurs and which unifies with Constraint from the constraint store.
> chr_label_with(+Constraint)
>   Checks the label_with declarations of Constraint.
> chr_labeling
>   Activates the built-in labeling feature for constraint handling rules.
> chr_notrace
>   Deactivates the standard or Opium debugger extension for constraint handling rules.
> chr_opium
>   Activates the Opium debugger and shows constraint handling.
> chr_resolve(+Constraint)
>   Uses the Prolog clauses to solve a constraint Constraint.
> chr_start_handler(?, ?, ?)
>   No description available
> chr_trace
>   Activates the standard debugger and shows constraint handling.
> coca(?)
>   No description available
> no_delayed_goals(?)
>   No description available
> no_global_bindings(?, ?)
>   No description available
> tr_chr(?, ?)
>   No description available

## Reexports

> reexport chr2pl

## Other Exports

> export portray(CHRhead_not_kept / 1, tr_chr / 2, [])

## About

- Status: deprecated
- Author: Pascal Brisset and Thom Fruehwirth, ECRC
- Copyright © 1994-2006 Cisco Systems, Inc
- Date: $Date: 2009/07/16 09:11:25 $

Generated from chr.eci on 2020-02-26 22:26