
vs_worst(+VS, -X)

   Succeeds for each worst violated variable from a varset

Arguments
   VS                  A varset
   X                   A tentative variable (output)

Type
   library(tentative)

Description

	Backtrack over all variable indices from a varset whose violation
	count is maximal in the varset.
    

Modes and Determinism
   vs_worst(+, -) is nondet

See Also
   vs_all_worst / 2, vs_random_worst / 2, vs_worst_index / 2
