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

vs_worst(+VS, -X)

Succeeds for each worst violated variable from a varset

VS: A varset
X: A tentative variable (output)

Description

Backtrack over all variable indices from a varset whose violation count is maximal in the varset.

Modes and Determinism

vs_worst(+, -) is nondet

See Also

vs_all_worst / 2, vs_random_worst / 2, vs_worst_index / 2