[
Group Index
|
Full Index
]
ECLiPSe Libraries: chr
chr(+File)
Compile File.chr into a .pl file and load the pl file.
chr2pl(+File)
Compile File.chr into a .pl file.
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_trace
Activates the standard debugger and shows constraint handling.