[ library(tentative) | Reference Manual | Alphabetic Index ]
vs_all(+VS, -Vars)
Retrieve all variables from a varset
- VS
- A varset
- Vars
- A list of tentative variables (output)
Description
	Retrieve all variables from a varset.
    
Modes and Determinism
Examples
    ?- Vars=[A,B,C], tent_set(Vars, [1,2,3]),
       vs_create(Vars, VS), vs_all(VS, VSVars).
    Vars = [A{1 -> 0}, B{2 -> 0}, C{3 -> 0}]
    VS = ...
    VSVars = [C{3 -> 0}, B{2 -> 0}, A{1 -> 0}]
    Yes (0.00s cpu)
    
See Also
vs_create / 2, vs_random / 2, vs_member / 2