Content deleted Content added
added highlight to Flow dependency heading |
m fix pseudocode by adding "done" for outermost loop |
||
Line 108:
done
done
done
Here, Children(X) is the set of nodes in the CFG that are post-dominated by X, and Predecessors(X) are the set of nodes in the CFG that directly precede X in the CFG.
| |||