Predicate SsaSource::iteration_defined_variable
Holds if v
is defined by a for
statement, the definition being defn
Import path
import python
predicate iteration_defined_variable(Variable v, ControlFlowNode defn, ControlFlowNode sequence)
Holds if v
is defined by a for
statement, the definition being defn
import python
predicate iteration_defined_variable(Variable v, ControlFlowNode defn, ControlFlowNode sequence)