[ library(tentative) | The ECLiPSe Libraries | 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.

### 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