forEachWhere p f e is similar to
forEach f e, but only applies
f to subterms that satisfy the
It also uses the caching trick used at
ReplaceExpr. This can be very effective
if the number of subterms satisfying
p is a small subset of the set of subterms.
p holds for most subterms, then it is more efficient to use
forEach f e.
Implements caching trick similar to the one used at
Set of visited subterms that satisfy the predicate
p. We have to use this set to make sure
fis applied at most once of each subterm that satisfies
Expr.forEachWhere (unsafe) implementation
- One or more equations did not get rendered due to their size.