Package owl.automaton

## Interface Automaton.EdgeTreeVisitor<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.EdgeTreeVisitor<S>
      extends Automaton.Visitor<S>

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `void` | `visit​(S state, ValuationTree<Edge<S>> edgeTree)` | The edge map associated with the state.

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

      `enter, exit`

- - ### Method Detail

    - #### visit

          void visit​(S state,
                     ValuationTree<Edge<S>> edgeTree)

      The edge map associated with the state. Called exactly once for each state.
      Parameters:
        `state` - the state
        `edgeTree` - the edge-tree