Package owl.automaton.algorithm
Class LanguageContainment
- java.lang.Object
-
- owl.automaton.algorithm.LanguageContainment
-
public final class LanguageContainment extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static booleancontains(Automaton<?,?> automaton1, Automaton<?,?> automaton2)Checks if the first the language of the first automaton is included in the language of the second automaton.static booleancontainsAll(Automaton<?,AllAcceptance> automaton1, Automaton<?,AllAcceptance> automaton2)static booleancontainsCoBuchi(Automaton<?,? extends CoBuchiAcceptance> automaton1, Automaton<?,? extends CoBuchiAcceptance> automaton2)static booleanequalsAll(Automaton<?,AllAcceptance> automaton1, Automaton<?,AllAcceptance> automaton2)static booleanequalsCoBuchi(Automaton<?,? extends CoBuchiAcceptance> automaton1, Automaton<?,? extends CoBuchiAcceptance> automaton2)static booleanlanguageEquivalent(Automaton<?,?> automaton1, Automaton<?,?> automaton2)
-
-
-
Method Detail
-
contains
public static boolean contains(Automaton<?,?> automaton1, Automaton<?,?> 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.
-
containsCoBuchi
public static boolean containsCoBuchi(Automaton<?,? extends CoBuchiAcceptance> automaton1, Automaton<?,? extends CoBuchiAcceptance> automaton2)
-
equalsCoBuchi
public static boolean equalsCoBuchi(Automaton<?,? extends CoBuchiAcceptance> automaton1, Automaton<?,? extends CoBuchiAcceptance> automaton2)
-
containsAll
public static boolean containsAll(Automaton<?,AllAcceptance> automaton1, Automaton<?,AllAcceptance> automaton2)
-
equalsAll
public static boolean equalsAll(Automaton<?,AllAcceptance> automaton1, Automaton<?,AllAcceptance> automaton2)
-
-