[ library(repair) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

-Result tent_is +Expression

Eagerly evaulate Expression using tentative assignments.
Result
Variable
Expression
Arithematic Expression

Description

This is similar to the normal arithmetic is/2 predicate, but evaluates the expression based on the tentative assignment of its variables. The result is delivered as (an update to) the tentative value of the Result variable. Once initiated, tent_is will stay active and keep updating Result's tentative value eagerly whenever the tentative assignment of any variable in Expression changes.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

is / 2, tent_set / 2, tent_call / 3