Package owl.automaton

## Interface SuccessorFunction<S>

- All Superinterfaces:
    `Function<S,Collection<S>>`
  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 SuccessorFunction<S>
      extends Function<S,Collection<S>>

- - ### Method Summary

    All Methods Static Methods Instance Methods Abstract Methods Default Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `default Collection<S>` | `apply​(S s)` |
    `static <S> SuccessorFunction<S>` | `filter​(Automaton<S,?> automaton, Set<S> states)` |
    `static <S> SuccessorFunction<S>` | `filter​(Automaton<S,?> automaton, Set<S> states, Predicate<Edge<S>> edgeFilter)` |
    `Collection<S>` | `successors​(S state)` | Returns all successors of the specified `state`.

    - ### Methods inherited from interface java.util.function.Function

      `andThen, compose`

- - ### Method Detail

    - #### apply

          default Collection<S> apply​(S s)

      Specified by:
        `apply` in interface `Function<S,Collection<S>>`

    - #### successors

          Collection<S> successors​(S state)

      Returns all successors of the specified `state`.
      Parameters:
        `state` - The starting state of the transition.
      Returns:
        The successor collection.
      Throws:
        `IllegalArgumentException` - If the transition function is not defined for `state`

    - #### filter

          static <S> SuccessorFunction<S> filter​(Automaton<S,?> automaton,
                                                 Set<S> states)

    - #### filter

          static <S> SuccessorFunction<S> filter​(Automaton<S,?> automaton,
                                                 Set<S> states,
                                                 Predicate<Edge<S>> edgeFilter)