
cs_all_worst(+CS, -Cstr)

   Get all worst violated constraints in the constraint set

Arguments
   CS                  Constraint set
   Cstr                A list of constraints (output)

Type
   library(tentative)

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
