public BasicBlock getSrc(BasicBlockEdge edge) { return(edge.getSrc()); }
public BasicBlock getDst(BasicBlockEdge edge) { return(edge.getDst()); }
public void addEdge(BasicBlockEdge edge) { edgeList.Add(edge); }
public BasicBlock getDst(BasicBlockEdge edge) { return edge.getDst(); }
public BasicBlock getSrc(BasicBlockEdge edge) { return edge.getSrc(); }