org.jgrapht.ext
public class IntegerEdgeNameProvider<E> extends java.lang.Object implements EdgeNameProvider<E>
| Constructor and Description |
|---|
IntegerEdgeNameProvider() |
| Modifier and Type | Method and Description |
|---|---|
void |
clear()
Clears all cached identifiers, and resets the unique identifier counter.
|
java.lang.String |
getEdgeName(E edge)
Returns the String representation of an edge.
|
public void clear()
public java.lang.String getEdgeName(E edge)
getEdgeName in interface EdgeNameProvider<E>edge - the edge to be named