org.jgrapht.ext
public class StringNameProvider<V> extends java.lang.Object implements VertexNameProvider<V>
Object.toString() on them. This assumes
that the vertex's Object.toString() method returns a unique String
representation for each vertex.| Constructor and Description |
|---|
StringNameProvider() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getVertexName(V vertex)
Returns the String representation of the unique integer representing a
vertex.
|
public java.lang.String getVertexName(V vertex)
getVertexName in interface VertexNameProvider<V>vertex - the vertex to be namedGraphListener.edgeAdded(GraphEdgeChangeEvent)