[ 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 2022-09-03 14:26