public IEnumerable <Vertex> destinations(Vertex v)
 {
     return(v.destinations());
 }
	public IEnumerable<Vertex> destinations(Vertex v)
	{
		return v.destinations();
	}