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

tent_set_all(?Vars, +TV)

Set the tentative values of all variables within Vars to the same value TV
Vars
A term
TV
A (nonvar) term

Description

Assign the tentative value TV to each variable in the term Vars. Vars would typically be a list (or array) of variables.

Modes and Determinism

Examples

    ?- tent_set_all([A, B, C], 3).
    A = A{3 -> 0}
    B = B{3 -> 0}
    C = C{3 -> 0}
    Yes (0.00s cpu)

    ?- length(L, 5), tent_set_all(L, 3).
    L = [Xi{3 -> 0}, Xi{3 -> 0}, Xi{3 -> 0}, Xi{3 -> 0}, Xi{3 -> 0}]
    Yes (0.00s cpu)

See Also

tent_set / 2, tent_set_random / 2