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