Member predicate Expr::Expr::isPure

Holds if this expression is pure, that is, is its evaluation is guaranteed to be side effect-free.

predicate isPure()