org.eclipse.xtext.util.formallang

Interface Traverser<G extends DirectedGraph<S>,S,R>

All Known Implementing Classes:

ContextTypePDAProvider.AbstractTypeTraverser, ContextTypePDAProvider.TypeCollector, ContextTypePDAProvider.TypeFilter, PdaUtil.CyclicStackTraverser

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

Author:

Moritz Eysholdt - Initial contribution and API

Method Summary

Methods

Modifier and Type	Method and Description
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)