Package owl.automaton.algorithms
Class LanguageEmptiness
- java.lang.Object
-
- owl.automaton.algorithms.LanguageEmptiness
-
public final class LanguageEmptiness extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> boolean
isEmpty(Automaton<S,?> automaton)
static <S> boolean
isEmpty(Automaton<S,?> automaton, S initialState)
-