[ library(chr) | Reference Manual | Alphabetic Index ]
chr_label_with(+Constraint)
Checks the label_with declarations of Constraint.
- +Constraint
- A chr constraint.
Description
   Checks the label_with declarations of Constraint.  Used by advanced
   constraint handling rules users to write their own labeling procedure
   for the constraints defined by constraint handling rules.
Fail Conditions
   Fails if Constraint is a variable or if Constraint does not have a
   label_with declaration or if the guard of all unifying label_with
   declarations fail.
Resatisfiable
   Yes.
Examples
   Given the following  label_with declaration (from the example
   constraint handler in file  time-pc.chr:
label_with path(N, X, Y, L, T, I) if N>1.
[eclipse]: chr_label_with(path(N,X,Y,L,T,I)).
no (more) solution.
[eclipse]: chr_label_with(path(1,X,Y,L,T,I)).
no (more) solution.
[eclipse]: chr_label_with(path(2,X,Y,L,T,I)).
X = X
Y = Y
L = L
T = T
I = I     More? (;)
no (more) solution.
See Also
chr_labeling / 0, chr_resolve / 1, chr_get_constraint / 1, chr_get_constraint / 2