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 |
---|
Edge(Graph<V,E> source,
GraphEvent.Type type,
E edge)
Creates a graph event for the specified graph, edge, and type.
|
Modifier and Type | Method and Description |
---|---|
E |
getEdge()
Retrieves the edge associated with this event.
|
java.lang.String |
toString() |
getSource, getType
protected E edge
public Edge(Graph<V,E> source, GraphEvent.Type type, E edge)
public E getEdge()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2021, 2022 Herve Girod. All Rights Reserved. Documentation and source under the BSD 3-Clause licence