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