@Override public Iterator<ValueGraphVertex> iterator(){
  return vertices.iterator();
}

@ Override public Iterator < ValueGraphVertex > iterator ( ) { return vertices . iterator ( ) ; }
return an iterator over the vertices in this congruence class
