Member predicate BuiltinFunction::isPure
Holds if this function is pure, that is, it has no observable side effects and no non-determinism.
predicate isPure()Holds if this function is pure, that is, it has no observable side effects and no non-determinism.
predicate isPure()