|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
IState
is the epsilon enclosure of one or more
.
The epsilon enclosure of an IStatePro
IStatePro
are the IStatePro
itself
and all states that are reachable through epsilon transitions (see IStatePro.addTransition
)
beginning with that IStatePro
.
You can get an epsilon enclosure of an IStatePro startState
manually by this code:
Description:
Copyright: Copyright (c) 2001
Company:
final IStatePro startState;
final StateProSet
epsilonClosure = new StateProSet(startState);
final StateProSet.Iterator
it = states.iterator();
for (IStatePro state=it.next(); state!=null; state=it.next()) {
IStatePro.ITransition[] transitions = state.getETransitions();
for (int i=0; i transitions.length; ++i) {
epsilonClosure.add(transitions[i].getToState());
}
}
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 . |
Method Detail |
public boolean isFinal()
public IState next(char ch)
IState
of all IStatePro
that are reachable from
this IState
with a character ch
.
ch
-
public StateProSet getAllReachableStates()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |