public void addEdge(CGNode src, CGNode dst) {
// we assume that this is called from ExplicitNode.addTarget().
// so we only have to track the inverse edge.
int x = getNumber(src);
int y = getNumber(dst);
predecessors.add(y, x);
}
protected void addEdge(int x, int y) {
// we only have to track the inverse edge.
predecessors.add(y, x);
}
