[ library(tentative) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

vs_violated(+VS, -Vars)

Succeeds for each violated variable from a varset
VS
A varset
Vars
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