Package owl.automaton.algorithms
Class LanguageAnalysis
- java.lang.Object
-
- owl.automaton.algorithms.LanguageAnalysis
-
public final class LanguageAnalysis extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> booleancontains(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.
-
-
-
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 languageautomaton2- The second automaton- Returns:
- true if L_1 is contained in L_2.
-
-