public static class GraphEvent.Edge<V,E> extends GraphEvent<V,E>
GraphEvent.Edge<V,E>, GraphEvent.Type, GraphEvent.Vertex<V,E>
Modifier and Type | Field and Description |
---|---|
protected E |
edge |
source, type
Constructor and Description |
---|
GraphEvent.Edge(Graph<V,E> source,
GraphEvent.Type type,
E edge)
Creates a graph event for the specified graph, edge, and type.
|
protected E edge
public GraphEvent.Edge(Graph<V,E> source, GraphEvent.Type type, E edge)
public E getEdge()
public java.lang.String toString()
toString
in class java.lang.Object