Mikolaj Wielgus d4a310a5c0 graph: disambiguate naming of different kinds of indices ... Disambiguate between node indices and (teir inner) petgraph indices. Rename "band index" to "band first seg index", as we identify bands by teir first segs. Rename "trianvertex index" and "navvertex index" respectively to "trianvertex node index" and "navvertex node index", as these point to nodes on the geometry graph and only indirectly to vertices on the vertex graph.		2024-06-18 15:30:33 +02:00
..
mod.rs	graph: disambiguate naming of different kinds of indices	2024-06-18 15:30:33 +02:00