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

vs_create(?Vars, -VS)

Construct a varset from the variables in Vars
Vars
A term containing tentative variables
VS
Varset (output)

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

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