Package owl.automaton

## Class AutomatonOperations

- java.lang.Object
- - owl.automaton.AutomatonOperations

-     public final class AutomatonOperations
      extends Object

- - ### Method Summary

    All Methods Static Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `static <S> Automaton<List<S>,​OmegaAcceptance>` | `intersection​(List<Automaton<S,​? extends OmegaAcceptance>> automata)` | Constructs an automaton recognizing the intersection of languages of the given automata.
    `static <S> Automaton<List<S>,​BuchiAcceptance>` | `union​(List<Automaton<S,​BuchiAcceptance>> automata)` |

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Method Detail

    - #### intersection

          public static <S> Automaton<List<S>,​OmegaAcceptance> intersection​(List<Automaton<S,​? extends OmegaAcceptance>> automata)

      Constructs an automaton recognizing the intersection of languages of the given automata.
      Type Parameters:
        `S` - The type of the states. Can be set to Object.
      Parameters:
        `automata` - A list of automata over the same alphabet (`ValuationSetFactory`). The only supported acceptance are AllAcceptance, CoBuchiAcceptance and GeneralisedBuchiAcceptance. The given automata need to be deterministic.
      Returns:
        An automaton that is constructed on-the-fly.

    - #### union

          public static <S> Automaton<List<S>,​BuchiAcceptance> union​(List<Automaton<S,​BuchiAcceptance>> automata)