org.eclipse.xtext.util.formallang
Class PdaUtil.CyclicStackTraverser<S,P>

java.lang.Object
  extended by 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
PdaUtil.CyclicStackTraverser()
           
 
Method Summary
 PdaUtil.CyclicStackItem<P> enter(Pda<S,P> pda, S state, PdaUtil.CyclicStackItem<P> previous)
           
 boolean isSolution(PdaUtil.CyclicStackItem<P> result)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PdaUtil.CyclicStackTraverser

public PdaUtil.CyclicStackTraverser()
Method Detail

enter

public PdaUtil.CyclicStackItem<P> enter(Pda<S,P> pda,
                                        S state,
                                        PdaUtil.CyclicStackItem<P> previous)
Specified by:
enter in interface Traverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>

isSolution

public boolean isSolution(PdaUtil.CyclicStackItem<P> result)
Specified by:
isSolution in interface Traverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>