tv_size/2

Retrieves the current size of a term vector.

tv_size(+Vector, ?Size)

tv_size/2 unifies Size with the size of the term vector Vector.

Arguments

Vector                  object (term vector)
Size                    var or integer

Examples

    tv_create(V),
    tv_size(V, InitialSize),
    tv_add(V, one),
    tv_add(V, two),
    tv_size(V, FinalSize).
->
    InitialSize = 0
    FinalSize = 2

Standard

This predicate is not part of the ISO-Prolog Standard.

See also