Class LanguageAnalysis


  • public final class LanguageAnalysis
    extends Object
    • Method Detail

      • contains

        public static <S> boolean contains​(Automaton<S,BuchiAcceptance> automaton1,
                                           Automaton<S,BuchiAcceptance> automaton2)
        Checks if the first the language of the first automaton is included in the language of the second automaton.
        Type Parameters:
        S - The type of the state.
        Parameters:
        automaton1 - The first automaton, whose language is tested for inclusion of the second language
        automaton2 - The second automaton
        Returns:
        true if L_1 is contained in L_2.