wpds.interfaces

Interface ReachabilityListener<N extends Location,D extends State>

public interface ReachabilityListener<N extends Location,D extends State>

Method Summary

Modifier and Type	Method and Description
void	reachable(Transition<N,D> t)

Method Detail

reachable

void reachable(Transition<N,D> t)