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

# vs_violated_index(+VS, -I)

Succeeds for each violated variable index from a varset

VS
  A varset
I
  An integer (output)

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