public final class LanguageAnalysis
extends java.lang.Object
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.
|
static <S> boolean |
isCosafetyLanguage(S state,
Automaton<S,BuchiAcceptance> automaton) |
|
static <S> boolean |
isSafetyLanguage(S state,
Automaton<S,BuchiAcceptance> automaton) |
public static <S> boolean contains(Automaton<S,BuchiAcceptance> automaton1, Automaton<S,BuchiAcceptance> automaton2)
S
- The type of the state.automaton1
- The first automaton, whose language is tested for inclusion of the second languageautomaton2
- The second automatonpublic static <S> boolean isCosafetyLanguage(S state, Automaton<S,BuchiAcceptance> automaton)
public static <S> boolean isSafetyLanguage(S state, Automaton<S,BuchiAcceptance> automaton)