
vs_violated_index(+VS, -Vars)

   Succeeds for each violated variable index from a varset

Arguments
   VS                  A varset
   Vars                An integer (output)

Type
   library(tentative)

Description

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

Modes and Determinism
   vs_violated_index(+, -) is nondet

See Also
   vs_all_violated_index / 2, vs_random_violated_index / 2, vs_violated / 2
