[ library(tentative) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

vs_member(+VS, -X)

Succeed for each element of a varset
VS
A varset
X
A variable (output)

Description

Backtrack over all elements of a varset.

Modes and Determinism

See Also

vs_create / 2, vs_element / 3, vs_all / 2, vs_random / 2