com.karneim.util.collection.set
Class SAutomaton.State

java.lang.Object
  extended by com.karneim.util.collection.set.SAutomaton.State
All Implemented Interfaces:
IState
Enclosing class:
SAutomaton

protected class SAutomaton.State
extends java.lang.Object
implements IState


Field Summary
protected  AutomatonSet_String.ISState state
           
 
Constructor Summary
protected SAutomaton.State(AutomatonSet_String.ISState state)
           
 
Method Summary
 StateProSet getAllReachableStates()
          Returns all states that are reachable from this state through it's transitions and so on.
 boolean isFinal()
           
 IState next(char ch)
          returns the IState of all IStatePro that are reachable from this IState with a character ch.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

state

protected final AutomatonSet_String.ISState state
Constructor Detail

SAutomaton.State

protected SAutomaton.State(AutomatonSet_String.ISState state)
Method Detail

isFinal

public boolean isFinal()
Specified by:
isFinal in interface IState

next

public IState next(char ch)
Description copied from interface: IState
returns the IState of all IStatePro that are reachable from this IState with a character ch.

Specified by:
next in interface IState
Returns:

getAllReachableStates

public StateProSet getAllReachableStates()
Description copied from interface: IState
Returns all states that are reachable from this state through it's transitions and so on.
important: this state is only element of the returned set, if it is an element of a loop

Specified by:
getAllReachableStates in interface IState
Returns:
all reachable states as a set

toString

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