org.eclipse.emf.henshin.statespace.util
Class StateSpaceShortestPath

java.lang.Object
  org.eclipse.emf.henshin.statespace.util.StateSpaceShortestPath

public class StateSpaceShortestPath
extends Object

Dijkstra's shortest path algorithm for state spaces.

Constructor Summary

StateSpaceShortestPath()
Default constructor.

Method Summary

void	computeShortestPaths(List<State> startStates) Compute the shortest paths from a given set of start states.
Path	getShortestPath(State target) Get the shortest path for a given target state.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StateSpaceShortestPath

public StateSpaceShortestPath()

Default constructor.

Method Detail

computeShortestPaths

public void computeShortestPaths(List<State> startStates)

Compute the shortest paths from a given set of start states.

Parameters:

startStates - Start states.

getShortestPath

public Path getShortestPath(State target)

Get the shortest path for a given target state.

Parameters:

target - Target state.

Returns:

Shortest path or null