[ library(tentative) | 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