Package owl.automaton

## Interface Automaton.EdgeVisitor<S>

- All Superinterfaces:
    `Automaton.Visitor<S>`
  Enclosing interface:
    Automaton<S,​A extends OmegaAcceptance>
  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 static interface Automaton.EdgeVisitor<S>
      extends Automaton.Visitor<S>

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `void` | `visit​(S state, BitSet valuation, Edge<S> edge)` | An outgoing edge of the state, might be called several times.

    - ### Methods inherited from interface owl.automaton.Automaton.Visitor

      `enter, exit`

- - ### Method Detail

    - #### visit

          void visit​(S state,
                     BitSet valuation,
                     Edge<S> edge)

      An outgoing edge of the state, might be called several times.
      Parameters:
        `state` - the state
        `valuation` - the valuation for the edge
        `edge` - the edge