JGraphT: Как мне перебрать края или вершины GraphPath по порядку? ⇐ JAVA

[Гость]

При наличии GraphPath path, как я могу перебирать края path по порядку?

Похоже, из документации https://jgrapht.org/javadoc/org.jgrapht ... hPath.html

что список и список, возвращаемые функциями getVertexList() и getEdgeList() соответственно, не гарантируются в том порядке, в котором они появляются на пути .