
vs_create(?Vars, -VS)

   Construct a varset from the variables in Vars

Arguments
   Vars                A term containing tentative variables
   VS                  Varset (output)

Type
   library(tentative)

Description

	Create an abstract 'varset' from the tentative variables in a term.
	A varset is an ordered set of variables that can be accessed by
	index, or by their violation properties. Elements are indexed from
	1 to size of the set, where the numbering corresponds to the order of
	the variables in a depth-first, left-to-right traversal of the term Vars.
    

Modes and Determinism
   vs_create(?, -) is semidet

Fail Conditions
   Vars contains variables without tentative values

Examples
   
    ?- Vars = [_,_,_], tent_set_all(Vars, 99), vs_create(Vars, VS).
    Vars = [Xi{99 -> 0}, Xi{99 -> 0}, Xi{99 -> 0}]
    VS = ...
    Yes (0.00s cpu)
    

See Also
   tent_set / 2, vs_size / 2, vs_element / 3, vs_all / 2, vs_all_violated / 2, vs_all_worst / 2, vs_all_violated_index / 2, vs_all_worst_index / 2, vs_random / 2, vs_random_violated / 2, vs_random_worst / 2, vs_random_index / 2, vs_random_violated_index / 2, vs_random_worst_index / 2, vs_member / 2, vs_violated / 2, vs_worst / 2, vs_violated_index / 2, vs_worst_index / 2
