/*
  * Resets all VertexData objects.
  */
 private void resetVertexData() {
   for (VertexData<V> data : vertexToVertexData.values()) {
     data.setDiscovered(false);
     data.setFinished(false);
   }
 }