public interface UniversalityAlgorithm extends Algorithm
Modifier and Type | Interface and Description |
---|---|
static class |
UniversalityAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
Algorithm.OrderingType, Algorithm.SearchType
Modifier and Type | Field and Description |
---|---|
static String |
UNIVERSALITY_ITERATION_STEP
Universality Iteration Step Counter String Literal
|
Modifier and Type | Method and Description |
---|---|
CospanCounterExample |
getCounterExample()
Returns the counter example, if the language of the automaton is not
universal and
null otherwise |
boolean |
isUniversal(Automaton automaton)
Returns
true if and only if the automaton automaton is universal. |
addComputationListener, cancelComputation, removeComputationListener
static final String UNIVERSALITY_ITERATION_STEP
boolean isUniversal(Automaton automaton)
true
if and only if the automaton automaton
is universal.automaton
- the automaton to be checkedtrue
if the automaton is universal, false
otherwiseCospanCounterExample getCounterExample()
null
otherwisenull
otherwise