The edges that carry the control flow the ControlFlowGraph is a view on.
They live in the very same graph, so they are counted separately to keep the dataflow numbers comparable.
An edge that carries both a dataflow and a control flow type is counted on both sides.
Missing in data recorded before the control flow moved into the dataflow graph.
The edges that carry the control flow the ControlFlowGraph is a view on. They live in the very same graph, so they are counted separately to keep the dataflow numbers comparable. An edge that carries both a dataflow and a control flow type is counted on both sides. Missing in data recorded before the control flow moved into the dataflow graph.