
vs_violated(+VS, -X)

   Succeeds for each violated variable from a varset

Arguments
   VS                  A varset
   X                   A tentative variable (output)

Type
   library(tentative)

Description

	Backtrack over all variables from a varset which have nonzero
	violation counts.
    

Modes and Determinism
   vs_violated(+, -) is nondet

See Also
   vs_all_violated / 2, vs_random_violated / 2, vs_violated_index / 2
