public interface EmptinessCheckAlgorithm extends Algorithm
Modifier and Type | Interface and Description |
---|---|
static class |
EmptinessCheckAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
Algorithm.OrderingType, Algorithm.SearchType
Modifier and Type | Method and Description |
---|---|
boolean |
acceptsEmptyLanguage(Automaton automaton)
Returns
true if and only if the language of the automaton automaton is the |
addComputationListener, cancelComputation, removeComputationListener
boolean acceptsEmptyLanguage(Automaton automaton)
true
if and only if the language of the automaton automaton
is the automaton
- the automaton to be checkedtrue
if the language of the automaton is the empty language,
false
otherwise