V - the vertex typeE - the edge typepublic abstract class GraphEvent<V,E>
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
GraphEvent.Edge<V,E>
An event type pertaining to graph edges.
|
static class |
GraphEvent.Type
Types of graph events.
|
static class |
GraphEvent.Vertex<V,E>
An event type pertaining to graph vertices.
|
| Modifier and Type | Field and Description |
|---|---|
protected Graph<V,E> |
source |
protected GraphEvent.Type |
type |
| Constructor and Description |
|---|
GraphEvent(Graph<V,E> source,
GraphEvent.Type type)
Creates an instance with the specified
source graph and Type
(vertex/edge addition/removal). |
| Modifier and Type | Method and Description |
|---|---|
Graph<V,E> |
getSource() |
GraphEvent.Type |
getType() |
protected GraphEvent.Type type
public GraphEvent(Graph<V,E> source, GraphEvent.Type type)
source graph and Type
(vertex/edge addition/removal).public GraphEvent.Type getType()
Copyright © 2021, 2022 Herve Girod. All Rights Reserved. Documentation and source under the BSD 3-Clause licence