public Iterator dirEdgeIterator(){
  return dirEdges.iterator();
}

public Iterator dirEdgeIterator ( ) { return dirEdges . iterator ( ) ; }
returns an iterator over the directededges in this planargraph , in the order in which they were added .
