public static class GraphEvent.Vertex<V,E> extends GraphEvent<V,E>
GraphEvent.Edge<V,E>, GraphEvent.Type, GraphEvent.Vertex<V,E>| Modifier and Type | Field and Description |
|---|---|
protected V |
vertex |
source, type| Constructor and Description |
|---|
Vertex(Graph<V,E> source,
GraphEvent.Type type,
V vertex)
Creates a graph event for the specified graph, vertex, and type.
|
| Modifier and Type | Method and Description |
|---|---|
V |
getVertex()
Retrieves the vertex associated with this event.
|
java.lang.String |
toString() |
getSource, getTypeprotected V vertex
public Vertex(Graph<V,E> source, GraphEvent.Type type, V vertex)
public V getVertex()
public java.lang.String toString()
toString in class java.lang.ObjectCopyright © 2021, 2022 Herve Girod. All Rights Reserved. Documentation and source under the BSD 3-Clause licence