
has_tent_value(?X)

   X has a tentative value (succeeds also for X nonvar)

Arguments
   X                   Any term

Type
   library(tentative)

Description

    	Succeeds if X is a variable with a tentative value, or if X is
	a nonvariable (i.e. has a definitive value).
    

Modes and Determinism
   has_tent_value(?) is semidet

Examples
   
    ?- tent_set(X, 27), has_tent_value(X).
    X = X{27 -> 0}
    Yes (0.00s cpu)

    ?- has_tent_value(_).
    No (0.00s cpu)

    ?- has_tent_value(35).
    Yes (0.00s cpu)
    

See Also
   tent_set / 2, tent_get / 2, tent_fix / 1
