org.eclipse.xtext.util.formallang
Interface Pda<STATE,STACKITEM>

All Superinterfaces:

DirectedGraph<STATE>, Nfa<STATE>

All Known Implementing Classes:

SerializerPDA, StringPda, SyntacticSequencerPDAProvider.NavigablePDA

public interface Pda<STATE,STACKITEM>
extends Nfa<STATE>

Push-Down Automation

Author:

Moritz Eysholdt - Initial contribution and API

Method Summary

STACKITEM	getPop(STATE state)
STACKITEM	getPush(STATE state)

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

getStart, getStop

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

getFollowers

Method Detail

getPop

STACKITEM getPop(STATE state)

getPush

STACKITEM getPush(STATE state)