[ library(tentative) | Reference Manual | Alphabetic Index ]
vs_worst_index(+VS, -I)
Succeeds for each worst violated variable index from a varset
- VS
- A varset
- I
- An integer (output)
Description
Backtrack over all variable indices from a varset whose violation
count is maximal in the varset.
Modes and Determinism
- vs_worst_index(+, -) is nondet
See Also
vs_all_worst_index / 2, vs_random_worst_index / 2, vs_worst / 2