[ 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

- tent_fix(?) is det

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