Member predicate Definition::isParameterDefinition
Holds if this definition defines the parameter p upon entry into the
enclosing function.
predicate isParameterDefinition(Parameter p)Holds if this definition defines the parameter p upon entry into the
enclosing function.
predicate isParameterDefinition(Parameter p)