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

vs_worst(+VS, -Vars)

Succeeds for each worst violated variable from a varset
VS
A varset
Vars
A tentative variable (output)

Description

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

Modes and Determinism

See Also

vs_all_worst / 2, vs_random_worst / 2, vs_worst_index / 2