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