[ library(tentative) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

tent_fix(?X)

Instantiate X to its tentative value
X
Any term, typically containing tentative variables

Description

This is a shorthand for
		tent_get(X, TV), X = TV.
	

Modes and Determinism

Exceptions

(tentative_value_not_set)
X (or a subterm of X) has no tentative value

Examples

    ?- tent_set(X, 27), tent_fix(X).
    X = 27
    Yes (0.00s cpu)

    ?- X = foo(_, _), tent_set(X, foo(27, 99)), tent_fix(X).
    X = foo(27, 99)
    Yes (0.00s cpu)
    

See Also

tent_set / 2, has_tent_value / 1, tent_get / 2