org.eclipse.xtext.util.formallang
Interface Traverser<G extends DirectedGraph<S>,S,R>

All Known Implementing Classes:

ContextTypePDAProvider.TypeFilter, PdaUtil.CyclicStackTraverser

public interface Traverser<G extends DirectedGraph<S>,S,R>

Author:

Moritz Eysholdt - Initial contribution and API

Method Summary

R	enter(G graph, S state, R previous)
boolean	isSolution(R result)

Method Detail

enter

R enter(G graph,
        S state,
        R previous)

isSolution

boolean isSolution(R result)