
vs_all_violated(+VS, -Vars)

   Retrieve all violated variables from a varset

Arguments
   VS                  A varset
   Vars                A list of tentative variables (output)

Type
   library(tentative)

Description

	Retrieve all variables from a varset which have nonzero violation
	counts.
    

Modes and Determinism
   vs_all_violated(+, -) is det

Examples
   
    ?- Vars=[A,B,C], tent_set(Vars, [1,2,3]), vs_create(Vars, VS),
       var_inc_violations(B, 1), vs_all_violated(VS, VSVars).
    Vars = [A{1 -> 0}, B{2 -> 1}, C{3 -> 0}]
    VS = ...
    VSVars = [B{2 -> 1}]
    Yes (0.00s cpu)
    

See Also
   vs_random_violated / 2, vs_violated / 2, vs_all_violated_index / 2
