org.jgrapht.ext

Class IntegerEdgeNameProvider<E>