org.firej.dfa.automaton
Class DFAutomaton
java.lang.Object
org.firej.dfa.AbstractDFA
org.firej.dfa.automaton.DFAutomaton
- All Implemented Interfaces:
- DFA
public class DFAutomaton
- extends AbstractDFA
DFA implementation class for Automaton library (dk.brics.automaton.*)
- Author:
- Vassilios Karakoidas (bkarak@aueb.gr)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DFAutomaton
public DFAutomaton(Automaton automaton)
getStates
public State[] getStates()
- Specified by:
getStates
in interface DFA
- Specified by:
getStates
in class AbstractDFA
toDot
public java.lang.String toDot()
- Specified by:
toDot
in interface DFA
- Specified by:
toDot
in class AbstractDFA
saveDot
public void saveDot(java.lang.String filename)
- Specified by:
saveDot
in interface DFA
- Overrides:
saveDot
in class AbstractDFA
getInitialState
public State getInitialState()
- Specified by:
getInitialState
in interface DFA
- Specified by:
getInitialState
in class AbstractDFA
addState
public void addState(State s)
- Specified by:
addState
in interface DFA
- Specified by:
addState
in class AbstractDFA