org.eclipse.xtext.util.formallang

Interface Nfa<STATE>

All Superinterfaces:

DirectedGraph<STATE>

All Known Subinterfaces:

Pda<STATE,STACKITEM>

All Known Implementing Classes:

ISyntacticSequencerPDAProvider.SynAbsorberNfaAdapter, NfaToProduction.StateAliasNfa, NfaUtil.NFAImpl, SemanticSequencerNfaProvider.SemNfa, SerializerPDA, StringNfa, StringPda, SyntacticSequencerPDAProvider.NavigablePDA

public interface Nfa<STATE>
extends DirectedGraph<STATE>

Nondeterministic State Machine

Author:

Moritz Eysholdt - Initial contribution and API

Method Summary

Methods

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