net.automatalib.util.ts.traversal

Interface TSTraversalVisitor<S,I,T,D>

public interface TSTraversalVisitor<S,I,T,D>

Method Summary

Methods

Modifier and Type	Method and Description
TSTraversalAction	processInitial(S state, Holder<D> outData)
TSTraversalAction	processTransition(S source, D srcData, I input, T transition, S succ, Holder<D> outData)
boolean	startExploration(S state, D data)

Method Detail

processInitial

TSTraversalAction processInitial(S state,
                               Holder<D> outData)

startExploration

boolean startExploration(S state,
                       D data)

processTransition

TSTraversalAction processTransition(S source,
                                  D srcData,
                                  I input,
                                  T transition,
                                  S succ,
                                  Holder<D> outData)