org.tigris.mbt
Class FiniteStateMachine

java.lang.Object
  org.tigris.mbt.FiniteStateMachine

Direct Known Subclasses:

ExtendedFiniteStateMachine

public class FiniteStateMachine
extends Object

Author:

Johan Tejle

Constructor Summary

FiniteStateMachine()

FiniteStateMachine(SparseGraph model)

Method Summary

void	backtrack(boolean popEdge)
Set	getAllEdges()
Hashtable	getAllRequirements()
Set	getAllStates()
Set	getCoveredRequirements()
Set	getCurrentOutEdges()
DirectedSparseVertex	getCurrentState()
String	getCurrentStateName()
String	getEdgeName(DirectedSparseEdge edge)
DirectedSparseEdge	getLastEdge()
int	getNumberOfEdgesTravesed()
String	getStateName(DirectedSparseVertex state)
int[]	getStatistics()
String	getStatisticsString()
String	getStatisticsStringCompact()
String	getStatisticsVerbose()
boolean	isBacktrackEnabled()
boolean	isBacktrackPossible()
boolean	isCalculatingPath()
boolean	isWeighted()
void	setBacktrackEnabled(boolean backtracking)
void	setCalculatingPath(boolean calculatingPath)
void	setModel(SparseGraph model)
void	setWeighted(boolean weighted)
boolean	walkEdge(DirectedSparseEdge edge)

Methods inherited from class java.lang.Object

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

Constructor Detail

FiniteStateMachine

public FiniteStateMachine(SparseGraph model)

FiniteStateMachine

public FiniteStateMachine()

Method Detail

setModel

public void setModel(SparseGraph model)

getCurrentState

public DirectedSparseVertex getCurrentState()

getCurrentStateName

public String getCurrentStateName()

getAllStates

public Set getAllStates()

getAllEdges

public Set getAllEdges()

getStateName

public String getStateName(DirectedSparseVertex state)

getCurrentOutEdges

public Set getCurrentOutEdges()
                       throws FoundNoEdgeException

Throws:

FoundNoEdgeException

walkEdge

public boolean walkEdge(DirectedSparseEdge edge)

getLastEdge

public DirectedSparseEdge getLastEdge()

getStatisticsStringCompact

public String getStatisticsStringCompact()

getStatisticsString

public String getStatisticsString()

getStatistics

public int[] getStatistics()

getStatisticsVerbose

public String getStatisticsVerbose()

getAllRequirements

public Hashtable getAllRequirements()

getCoveredRequirements

public Set getCoveredRequirements()

getEdgeName

public String getEdgeName(DirectedSparseEdge edge)

setWeighted

public void setWeighted(boolean weighted)

Parameters:

weighted - if edge weights are to be considered

isWeighted

public boolean isWeighted()

Returns:

true if the edge weights is considered

getNumberOfEdgesTravesed

public int getNumberOfEdgesTravesed()

Returns:

the number of edges traversed

backtrack

public void backtrack(boolean popEdge)

setBacktrackEnabled

public void setBacktrackEnabled(boolean backtracking)

isBacktrackEnabled

public boolean isBacktrackEnabled()

isBacktrackPossible

public boolean isBacktrackPossible()

isCalculatingPath

public boolean isCalculatingPath()

setCalculatingPath

public void setCalculatingPath(boolean calculatingPath)