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()