[ 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

See Also

vs_all_violated / 2, vs_random_violated / 2, vs_violated_index / 2