Package owl.automaton.algorithms

## Class LanguageContainment

- java.lang.Object
- - owl.automaton.algorithms.LanguageContainment

-     public final class LanguageContainment
      extends Object

- - ### Method Summary

    All Methods Static Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `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.

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

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

- - ### 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.