[ 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