[ 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