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

Fields

Modifier and Type	Field and Description
protected AutomatonSet_String.ISState	state

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	State(AutomatonSet_String.ISState state)

Method Summary

Modifier and Type	Method and Description
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

State

protected 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