org.firej.dfa
Class AbstractDFA

java.lang.Object
  extended by org.firej.dfa.AbstractDFA
All Implemented Interfaces:
DFA
Direct Known Subclasses:
DFAFire, DFAutomaton

public abstract class AbstractDFA
extends java.lang.Object
implements DFA

Author:
Vassilios Karakoidas (bkarak@aueb.gr)

Constructor Summary
AbstractDFA()
           
 
Method Summary
abstract  void addState(State s)
           
abstract  State getInitialState()
           
abstract  State[] getStates()
           
 void saveDot(java.lang.String filename)
           
abstract  java.lang.String toDot()
           
 java.lang.String toDot(State[] states)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractDFA

public AbstractDFA()
Method Detail

saveDot

public void saveDot(java.lang.String filename)
Specified by:
saveDot in interface DFA

toDot

public java.lang.String toDot(State[] states)

addState

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

getInitialState

public abstract State getInitialState()
Specified by:
getInitialState in interface DFA

getStates

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

toDot

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