|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Pda<STATE,STACKITEM>
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 |
---|
STACKITEM getPop(STATE state)
STACKITEM getPush(STATE state)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |