[ library(tentative) | 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