public class TimeDirectedNeighborIndex extends org.jgrapht.alg.util.NeighborCache<Spot,org.jgrapht.graph.DefaultWeightedEdge>
Constructor and Description |
---|
TimeDirectedNeighborIndex(org.jgrapht.Graph<Spot,org.jgrapht.graph.DefaultWeightedEdge> g) |
Modifier and Type | Method and Description |
---|---|
void |
edgeAdded(org.jgrapht.event.GraphEdgeChangeEvent<Spot,org.jgrapht.graph.DefaultWeightedEdge> e) |
void |
edgeRemoved(org.jgrapht.event.GraphEdgeChangeEvent<Spot,org.jgrapht.graph.DefaultWeightedEdge> e) |
List<Spot> |
predecessorListOf(Spot v)
Returns the set of vertices which are the predecessors of a specified
vertex.
|
Set<Spot> |
predecessorsOf(Spot v)
Returns the set of vertices which are the predecessors of a specified
vertex.
|
List<Spot> |
successorListOf(Spot v)
Returns the set of vertices which are the successors of a specified
vertex.
|
Set<Spot> |
successorsOf(Spot v)
Returns the set of vertices which are the successors of a specified
vertex.
|
void |
vertexAdded(org.jgrapht.event.GraphVertexChangeEvent<Spot> e) |
void |
vertexRemoved(org.jgrapht.event.GraphVertexChangeEvent<Spot> e) |
public TimeDirectedNeighborIndex(org.jgrapht.Graph<Spot,org.jgrapht.graph.DefaultWeightedEdge> g)
public Set<Spot> predecessorsOf(Spot v)
predecessorsOf
in class org.jgrapht.alg.util.NeighborCache<Spot,org.jgrapht.graph.DefaultWeightedEdge>
v
- the vertex whose predecessors are desiredpublic List<Spot> predecessorListOf(Spot v)
predecessorsOf(Spot)
unless duplicate neighbors are required.v
- the vertex whose predecessors are desiredpublic Set<Spot> successorsOf(Spot v)
successorsOf
in class org.jgrapht.alg.util.NeighborCache<Spot,org.jgrapht.graph.DefaultWeightedEdge>
v
- the vertex whose successors are desiredpublic List<Spot> successorListOf(Spot v)
successorsOf(Spot)
unless duplicate neighbors are required.v
- the vertex whose successors are desiredpublic void edgeAdded(org.jgrapht.event.GraphEdgeChangeEvent<Spot,org.jgrapht.graph.DefaultWeightedEdge> e)
public void edgeRemoved(org.jgrapht.event.GraphEdgeChangeEvent<Spot,org.jgrapht.graph.DefaultWeightedEdge> e)
public void vertexAdded(org.jgrapht.event.GraphVertexChangeEvent<Spot> e)
public void vertexRemoved(org.jgrapht.event.GraphVertexChangeEvent<Spot> e)
Copyright © 2015–2021 Fiji. All rights reserved.