[ library(tentative) | Reference Manual | Alphabetic Index ]

# vs_violated(+VS, -X)

Succeeds for each violated variable from a varset

VS
  A varset
X
  A tentative variable (output)

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