Package owl.automaton

Class AutomatonOperations


  • public final class AutomatonOperations
    extends Object
    • 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.