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.