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

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

public class StateDistanceMonitor
extends Object

Utility class for keeping track of state distances.

Constructor Summary

StateDistanceMonitor(StateSpace stateSpace)
Default constructor.

Method Summary

int	getDistance(State state)
void	updateDistance(State state) Update the distances of a of states and all its successor states.
void	updateDistances(Collection<State> states) Update the distances of a list of states and all their successor states.

Methods inherited from class java.lang.Object

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

Constructor Detail

StateDistanceMonitor

public StateDistanceMonitor(StateSpace stateSpace)

Default constructor.

Parameters:

stateSpace - The state space.

Method Detail

updateDistance

public void updateDistance(State state)

Update the distances of a of states and all its successor states.

updateDistances

public void updateDistances(Collection<State> states)

Update the distances of a list of states and all their successor states.

getDistance

public int getDistance(State state)