// Copyright 2003, Trustees of Indiana University
// Please see the license in the file ../LICENSE

// VertexListGraph concept from BGL

public interface VertexListGraph<
		  Vertex,
		  VertexIterator extends java.util.Iterator<Vertex>> {
  VertexIterator vertices();
  int num_vertices();
}