|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.firej.dfa.AbstractDFA
org.firej.dfa.fire.DFAFire
public class DFAFire
Constructor Summary | |
---|---|
DFAFire()
|
Method Summary | |
---|---|
void |
addState(State s)
|
State |
getInitialState()
|
State[] |
getStates()
|
java.lang.String |
toDot()
|
Methods inherited from class org.firej.dfa.AbstractDFA |
---|
saveDot, toDot |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DFAFire()
Method Detail |
---|
public java.lang.String toDot()
toDot
in interface DFA
toDot
in class AbstractDFA
public void addState(State s)
addState
in interface DFA
addState
in class AbstractDFA
public State getInitialState()
getInitialState
in interface DFA
getInitialState
in class AbstractDFA
public State[] getStates()
getStates
in interface DFA
getStates
in class AbstractDFA
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |