[ library(tentative) | Reference Manual | Alphabetic Index ]
vs_all_worst(+VS, -Vars)
Retrieve all worst violated variables from a varset
- VS
- A varset
- Vars
- A list of tentative variables (output)
Description
	Retrieve all variables from a varset whose violation count is
	maximal in the varset.
    
Modes and Determinism
- vs_all_worst(+, -) is det
Examples
    ?- Vars=[A,B,C], tent_set(Vars, [1,2,3]), vs_create(Vars, VS),
       var_inc_violations(A, 2),
       var_inc_violations(B, 1),
       var_inc_violations(C, 2),
       vs_all_worst(VS, VSVars).
    Vars = [A{1 -> 2}, B{2 -> 1}, C{3 -> 2}]
    VS = ...
    VSVars = [A{1 -> 2}, C{3 -> 2}]
    Yes (0.00s cpu)
    
See Also
vs_random_worst / 2, vs_worst / 2, vs_all_worst_index / 2