Package owl.automaton.algorithm

Class LanguageEmptiness

java.lang.Object

owl.automaton.algorithm.LanguageEmptiness

public final class LanguageEmptiness
extends Object

Method Summary

Modifier and Type	Method	Description
static <S> boolean	isEmpty(Automaton<S,?> automaton)
static <S> boolean	isEmpty(Automaton<S,?> automaton, Set<S> initialStates)

Methods inherited from class java.lang.Object

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

Method Detail

isEmpty

public static <S> boolean isEmpty(Automaton<S,?> automaton)

isEmpty

public static <S> boolean isEmpty(Automaton<S,?> automaton,
                                  Set<S> initialStates)