Class LanguageContainment


  • public final class LanguageContainment
    extends Object
    • Method Detail

      • contains

        public static boolean contains​(Automaton<?,​BuchiAcceptance> automaton1,
                                       Automaton<?,​BuchiAcceptance> automaton2)
        Checks if the first the language of the first automaton is included in the language of the second automaton.
        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.