[ library(repair) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
?Vars tent_get ?Values
Query the tentative values of variables in Vars.
- Term typically with variables with tentative values
- Term to receive tentative values of Vars.
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.
Values does not unify with Vars with the tentative values filled in.
tent_set / 2