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