made DijstraVertice public