org.tigris.mbt.generators
Class ShortestPathGenerator

java.lang.Object
  extended by org.tigris.mbt.generators.PathGenerator
      extended by org.tigris.mbt.generators.ShortestPathGenerator

public class ShortestPathGenerator
extends PathGenerator


Constructor Summary
ShortestPathGenerator()
           
 
Method Summary
 String[] getNext()
           
 void reset()
          Will reset the generator to its initial state.
 void setMachine(FiniteStateMachine machine)
           
 String toString()
           
 
Methods inherited from class org.tigris.mbt.generators.PathGenerator
getConditionFulfillment, getMachine, getStopCondition, hasNext, setStopCondition
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ShortestPathGenerator

public ShortestPathGenerator()
Method Detail

setMachine

public void setMachine(FiniteStateMachine machine)
Overrides:
setMachine in class PathGenerator

getNext

public String[] getNext()
Specified by:
getNext in class PathGenerator

reset

public void reset()
Will reset the generator to its initial state.

Overrides:
reset in class PathGenerator

toString

public String toString()
Overrides:
toString in class PathGenerator