Member predicate ConstantExprs::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)