public final class EmptinessCheck
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <S> boolean |
isEmpty(Automaton<S,?> automaton) |
|
static <S> boolean |
isRejectingScc(Automaton<S,?> automaton,
java.util.Set<S> scc) |