Member predicate PartialDefinitions::PartialDefinition::partiallyDefinesVariableAt
Holds if this PartialDefinition
defines variable v
at control-flow
node cfn
.
predicate partiallyDefinesVariableAt(Variable v, ControlFlowNode cfn)
Holds if this PartialDefinition
defines variable v
at control-flow
node cfn
.
predicate partiallyDefinesVariableAt(Variable v, ControlFlowNode cfn)