Package owl.automaton.algorithms
Class LanguageMembership
- java.lang.Object
-
- owl.automaton.algorithms.LanguageMembership
-
public final class LanguageMembership extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S,A extends OmegaAcceptance>
booleancontains(Automaton<S,A> automaton, UltimatelyPeriodicWord word)
-
-
-
Method Detail
-
contains
public static <S,A extends OmegaAcceptance> boolean contains(Automaton<S,A> automaton, UltimatelyPeriodicWord word)
-
-