Class PdaUtil.CyclicStackTraverser<S,P>
- java.lang.Object
-
- org.eclipse.xtext.util.formallang.PdaUtil.CyclicStackTraverser<S,P>
-
- All Implemented Interfaces:
Traverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>
- Enclosing class:
- PdaUtil
public static class PdaUtil.CyclicStackTraverser<S,P> extends java.lang.Object implements Traverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>
-
-
Constructor Summary
Constructors Constructor Description CyclicStackTraverser()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PdaUtil.CyclicStackItem<P>
enter(Pda<S,P> pda, S state, PdaUtil.CyclicStackItem<P> previous)
boolean
isSolution(PdaUtil.CyclicStackItem<P> result)
-
-
-
Method Detail
-
enter
public PdaUtil.CyclicStackItem<P> enter(Pda<S,P> pda, S state, PdaUtil.CyclicStackItem<P> previous)
-
isSolution
public boolean isSolution(PdaUtil.CyclicStackItem<P> result)
- Specified by:
isSolution
in interfaceTraverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>
-
-