[ library(tentative) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
# cs_all_worst(+CS, -Cstr)

Get all worst violated constraints in the constraint set
*CS*
- Constraint set
*Cstr*
- A list of constraints (output)

## Description

Returns a list of all the worst violated constraints in the
constraint set, i.e. all the constraints that have maximum
violation count among the constraints in the set.

If the constraints were added with aliases (see :~ /2),
the alias term is retrieved instead of the constraint goal.

### Modes and Determinism

- cs_all_worst(+, -) is det

## Examples

?- [X, Y] tent_set [3, 4], CS :~ (X $= Y), CS :~ (X $\= Y), cs_all_worst(CS, C).
X = X{3 -> 0}
Y = Y{4 -> 0}
CS = constraint_set(TotalVio{1 -> 0}, ...)
C = [X{3 -> 0} $= Y{4 -> 0}]
There are 2 delayed goals.
Yes (0.00s cpu)

## See Also

cs_all / 2, cs_all_violated / 2