org.jgrapht.ext

Class IntegerNameProvider<V>