Package owl.automaton.algorithm

Class LanguageContainment

java.lang.Object

owl.automaton.algorithm.LanguageContainment

public final class LanguageContainment
extends Object

Method Summary

Modifier and Type	Method	Description
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.
static boolean	containsAll(Automaton<?,AllAcceptance> automaton1, Automaton<?,AllAcceptance> automaton2)
static boolean	containsCoBuchi(Automaton<?,? extends CoBuchiAcceptance> automaton1, Automaton<?,? extends CoBuchiAcceptance> automaton2)
static boolean	equalsAll(Automaton<?,AllAcceptance> automaton1, Automaton<?,AllAcceptance> automaton2)
static boolean	equalsCoBuchi(Automaton<?,? extends CoBuchiAcceptance> automaton1, Automaton<?,? extends CoBuchiAcceptance> automaton2)
static boolean	languageEquivalent(Automaton<?,?> automaton1, Automaton<?,?> automaton2)

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<?,?> 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 language

automaton2 - 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)

languageEquivalent

public static boolean languageEquivalent(Automaton<?,?> automaton1,
                                         Automaton<?,?> automaton2)