[ 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

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