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

vs_size(+VS, -N)

Get the size of a varset
VS
A varset
N
An integer (output)

Description

Get the size (number of elements) of a varset.

Modes and Determinism

Examples

    ?- Vars=[_,_,_], tent_set_all(Vars, 99), vs_create(Vars, VS), vs_size(VS, N).
    Vars = ...
    VS = ...
    N = 3
    Yes (0.00s cpu)

See Also

vs_create / 2, vs_element / 3