org.eclipse.xtext.util.formallang

Interface Pda<STATE,STACKITEM>

All Superinterfaces:

DirectedGraph<STATE>, Nfa<STATE>

All Known Implementing Classes:

StringPda

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

Push-Down Automation

Method Summary

Modifier and Type	Method and Description
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)