[ library(tentative) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# vs_worst(+VS, -Vars)

Succeeds for each worst violated variable from a varset

VS
  A varset
Vars
  A tentative variable (output)

## 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