Member predicate ExprEvaluator::interestingInternal
req
is an expression for which a value is required to be evaluated in
order to calculate a value for interesting expression e
. sub
indicates whether req
is a syntactic subexpression of e
.
This predicate enumerates the nodes top-down; getValueInternal()
calculates the values bottom-up.
predicate interestingInternal(Expr e, Expr req, boolean sub)