[ 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