Module net.automatalib.util
Package net.automatalib.util.ts.traversal

Interface TSTraversalVisitor<S,I,T,D>

Type Parameters:
S - state class
I - input symbol class
T - transition class
D - user data class
All Known Implementing Classes:
TSCopyVisitor
public interface TSTraversalVisitor<S,I,T,D>
Visitor interface for transition system traversals.

This interface declares methods that are called upon basic transition system traversal actions.

  • Method Summary

    Modifier and Type
    Method
    Description
    default void
    backtrackTransition(S srcState, D srcData, I input, T transition, S tgtState, D tgtData)
    Called when an edge is backtracked.
    default void
    finishExploration(S state, D data)
    Called when the exploration of a state is finished.
    default TSTraversalAction
    processInitial(S initialState, Holder<D> holder)
    Called when the initial states of the transition system are processed.
    default TSTraversalAction
    processTransition(S srcState, D srcData, I input, T transition, S tgtState, Holder<D> tgtHolder)
    Called when an edge is processed.
    default boolean
    startExploration(S state, D data)
    Called when the exploration of a state is started.

  • Method Details

    • processInitial

      default TSTraversalAction processInitial(S initialState, Holder<D> holder)
      Called when the initial states of the transition system are processed.
      Parameters:
      initialState - the state that is processed
      holder - a writable reference whose (node-specific) data is passed to the corresponding methods during traversal
      Returns:
      the action to perform

    • startExploration

      default boolean startExploration(S state, D data)
      Called when the exploration of a state is started.
      Parameters:
      state - the state whose exploration is about to be started
      data - the user data associated with this state
      Returns:
      true, if the state should be explored, false otherwise

    • processTransition

      default TSTraversalAction processTransition(S srcState, D srcData, I input, T transition, S tgtState, Holder<D> tgtHolder)
      Called when an edge is processed.
      Parameters:
      srcState - the source state
      srcData - the user data associated with the source state
      input - the input that is being processed
      transition - the transition that is being processed
      tgtState - the target state
      tgtHolder - a writable reference to provide user data that should be associated with the target state
      Returns:
      the action to perform

    • backtrackTransition

      default void backtrackTransition(S srcState, D srcData, I input, T transition, S tgtState, D tgtData)
      Called when an edge is backtracked. This typically happens only in depth-first style traversals.
      Parameters:
      srcState - the source state
      srcData - the user data associated with the source state
      input - the input that is being processed
      transition - the transition that is being processed
      tgtState - the target state
      tgtData - the user data associated with the target state

    • finishExploration

      default void finishExploration(S state, D data)
      Called when the exploration of a state is finished.
      Parameters:
      state - the state whose exploration is being finished
      data - the user data associated with this state