datastructure
Class Transition

java.lang.Object
  extended by datastructure.Transition

public class Transition
extends java.lang.Object

This class represents the transitions a given state can do with a certain symbol.
If no transition is possible with a certain symbol no Transition object should be created for it.

Author:
Leopold Haller

Constructor Summary
Transition(java.lang.String symbol)
           
Transition(java.lang.String symbol, State... states)
           
 
Method Summary
 void addState(State... s)
           
 java.util.List<State> getSuccessors()
           
 java.lang.String getSymbol()
           
 boolean removeState(State s)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Transition

public Transition(java.lang.String symbol)

Transition

public Transition(java.lang.String symbol,
                  State... states)
Method Detail

addState

public void addState(State... s)

removeState

public boolean removeState(State s)

getSymbol

public java.lang.String getSymbol()

getSuccessors

public java.util.List<State> getSuccessors()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object