org.eclipse.xtext.util.formallang
Interface Nfa<STATE>

All Superinterfaces:
DirectedGraph<STATE>
All Known Subinterfaces:
Pda<STATE,STACKITEM>
All Known Implementing Classes:
ISyntacticSequencerPDAProvider.SynAbsorberNfaAdapter, NfaUtil.NFAImpl, SemanticSequencerNfaProvider.SemNfa, StringNfa, StringPda, SyntacticSequencerPDAProvider.NavigablePDA

public interface Nfa<STATE>
extends DirectedGraph<STATE>

Author:
Moritz Eysholdt - Initial contribution and API

Method Summary
 STATE getStart()
           
 STATE getStop()
           
 
Methods inherited from interface org.eclipse.xtext.util.formallang.DirectedGraph
getFollowers
 

Method Detail

getStop

STATE getStop()

getStart

STATE getStart()