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

vs_violated_index(+VS, -Vars)

Succeeds for each violated variable index from a varset
VS
A varset
Vars
An integer (output)

Description

Backtrack over all variable indices from a varset which have nonzero violation counts.

Modes and Determinism

See Also

vs_all_violated_index / 2, vs_random_violated_index / 2, vs_violated / 2