Uses of Class
com.jgalgo.graph.IndexGraphBuilder.ReIndexingMap

Packages that use IndexGraphBuilder.ReIndexingMap

Package	Description
com.jgalgo.graph	Graphs object are the fundamental building blocks of the JGAlgo library.

Uses of IndexGraphBuilder.ReIndexingMap in com.jgalgo.graph

Fields in com.jgalgo.graph with type parameters of type IndexGraphBuilder.ReIndexingMap

Modifier and Type	Field	Description
final Optional<IndexGraphBuilder.ReIndexingMap>	IndexGraphBuilder.ReIndexedGraph.edgesReIndexing	The re-indexing map of the edges.
final Optional<IndexGraphBuilder.ReIndexingMap>	IndexGraphBuilder.ReIndexedGraph.verticesReIndexing	The re-indexing map of the vertices.

Methods in com.jgalgo.graph that return IndexGraphBuilder.ReIndexingMap

Modifier and Type	Method	Description
IndexGraphBuilder.ReIndexingMap	IndexGraphBuilder.ReIndexingMap.inverse()	Get the inverse map of this map.