translation dijkstra to VISITED