[ library(repair) | Reference Manual | Alphabetic Index ]
?Vars tent_get ?Values
Query the tentative values of variables in Vars.
- Vars
- Term typically with variables with tentative values
- Values
- Term to receive tentative values of Vars.
Description
Values is a copy of the term Vars with the tentative values filled in
place of the variables. If a variable has no tentative value
a variable is returned in its place.
CAUTION: If a variable has no tentative value, it is not possible to
give it a tentative value by binding that returned variable.
tent_set/2 must be used instead.
Fail Conditions
Values does not unify with Vars with the tentative values filled in.
Resatisfiable
no
See Also
tent_set / 2