[ library(tentative) | Reference Manual | Alphabetic Index ]
vs_worst_index(+VS, -Vars)
Succeeds for each worst violated variable index from a varset
- VS
- A varset
- Vars
- 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