org.eclipse.xtext.util.formallang

Interface Nfa<STATE>

All Superinterfaces:

DirectedGraph<STATE>

All Known Subinterfaces:

Pda<STATE,STACKITEM>

All Known Implementing Classes:

NfaToProduction.StateAliasNfa, NfaUtil.NFAImpl, StringNfa, StringPda

public interface Nfa<STATE>
extends DirectedGraph<STATE>

Nondeterministic State Machine

Method Summary

Modifier and Type	Method and Description
STATE	getStart()
STATE	getStop()

Methods inherited from interface org.eclipse.xtext.util.formallang.DirectedGraph

getFollowers

Method Detail

getStop

STATE getStop()

getStart

STATE getStart()