net.automatalib.util.ts.traversal

Interface TSTraversalVisitor<S,I,T,D>

All Known Implementing Classes:

TSCopyVisitor

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

Method Summary

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)