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 void addEdge(BasicBlockEdge edge)
 {
     edgeList.Add(edge);
 }
 public BasicBlock getSrc(BasicBlockEdge edge)
 {
     return edge.getSrc();
 }