Pda (org.eclipse.xtext.util 2.29.0.M3 API)

All Superinterfaces:

DirectedGraph<STATE>, Nfa<STATE>

All Known Implementing Classes:

StringPda
```
public interface Pda<STATE,STACKITEM>
extends Nfa<STATE>
```
Push-Down Automation

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  STACKITEM getPop(STATE state)
  
  STACKITEM getPush(STATE state)
  - Methods inherited from interface org.eclipse.xtext.util.formallang.DirectedGraph
    getFollowers
  - Methods inherited from interface org.eclipse.xtext.util.formallang.Nfa
    getStart, getStop

Method Detail

getPop
```
STACKITEM getPop(STATE state)
```

getPush
```
STACKITEM getPush(STATE state)
```