Interface Traceable<L>

Type Parameters:
L - the type of labels of the underlying automaton
All Known Implementing Classes:
DAutomaton, NAutomaton, ZAutomaton
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface public interface Traceable<L>
Indicates that the implementor can process code point sequences like an automaton.
  • Method Summary

    Modifier and Type
    Method
    Description
    Returns a fresh trace.
  • Method Details

    • trace

      Automaton.Trace<L> trace()
      Returns a fresh trace.

      Objects obtained as return values from multiple calls to this method do not share mutable state with each other, and can be used safely in concurrency.

      Returns:
      a fresh trace