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.
-
-
-
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 languageautomaton2
- The second automaton- Returns:
- true if L_1 is contained in L_2.
-
-