org.firej.dfa.fire
Class DFAFire

java.lang.Object
  extended by org.firej.dfa.AbstractDFA
      extended by org.firej.dfa.fire.DFAFire
All Implemented Interfaces:
DFA

public class DFAFire
extends AbstractDFA

Author:
Vassilios Karakoidas (bkarak@aueb.gr)

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

DFAFire

public DFAFire()
Method Detail

toDot

public java.lang.String toDot()
Specified by:
toDot in interface DFA
Specified by:
toDot in class AbstractDFA

addState

public void addState(State s)
Specified by:
addState in interface DFA
Specified by:
addState in class AbstractDFA

getInitialState

public State getInitialState()
Specified by:
getInitialState in interface DFA
Specified by:
getInitialState in class AbstractDFA

getStates

public State[] getStates()
Specified by:
getStates in interface DFA
Specified by:
getStates in class AbstractDFA