Go to the first, previous, next, last section, table of contents.


Term variables sets

Version: 1.7#142 (2001/11/12, 17:49:44 CET)

Usage and interface (terms_vars)

Documentation on exports (terms_vars)

PREDICATE: varset/2:

varset(Term,Xs)

Xs is the sorted list of all the variables in Term.

PREDICATE: varsbag/3:

varsbag(Term,Vs,Xs)

Vs is the list of all the variables in Term ordered as they appear in Term left-to-right depth-first (including duplicates) plus Xs.

PREDICATE: varset_in_args/2:

Usage: varset_in_args(T,LL)


Go to the first, previous, next, last section, table of contents.