Member predicate SsaDefinition::definedByParameter
Holds if the SSA variable (this, p) is defined by parameter p.
predicate definedByParameter(Parameter p)Holds if the SSA variable (this, p) is defined by parameter p.
predicate definedByParameter(Parameter p)