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

java.lang.Object
  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