Member predicate FunctionExpr::isImpure
Holds if this expression is impure, that is, its evaluation could have side effects.
predicate isImpure()
Holds if this expression is impure, that is, its evaluation could have side effects.
predicate isImpure()