Package owl.automaton.algorithm

Class LanguageMembership

java.lang.Object

owl.automaton.algorithm.LanguageMembership

public final class LanguageMembership
extends Object

Method Summary

Modifier and Type	Method	Description
static <S,A extends EmersonLeiAcceptance> boolean	contains(Automaton<S,A> automaton, UltimatelyPeriodicWord word)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

contains

public static <S,A extends EmersonLeiAcceptance> boolean contains(Automaton<S,A> automaton,
                                                                        UltimatelyPeriodicWord word)