jEdge top-level constant

int const jEdge

A J-edge in the DJ-graph, representing a non-dominance control flow relationship.

Implementation

const int jEdge = 1;