public final class SimulationAntichainUniversality extends Object implements UniversalityAlgorithm
UniversalityAlgorithm.Implementations
Algorithm.OrderingType, Algorithm.SearchType
UNIVERSALITY_ITERATION_STEP
Constructor and Description |
---|
SimulationAntichainUniversality(Algorithm.SearchType searchType)
Creates a new instance of the antichain-based universality algorithm.
|
SimulationAntichainUniversality(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType)
Creates a new instance of the antichain-based universality algorithm.
|
SimulationAntichainUniversality(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType,
boolean computeCounterExample)
Creates a new instance of the antichain-based universality algorithm.
|
Modifier and Type | Method and Description |
---|---|
void |
addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this algorithm. |
void |
cancelComputation()
Cancels the computation of this algorithm.
|
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. |
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this algorithm. |
public SimulationAntichainUniversality(Algorithm.SearchType searchType, Algorithm.OrderingType orderingType, boolean computeCounterExample)
searchType
- the search type used by the algorithm, either forward
or
backward
orderingType
- the ordering type used by the algorithm either identityRelation
,
forwardSimulation
or backwardSimulation
computeCounterExample
- if true
a counterexample will be computed if the input
language is not universalAlgorithm.SearchType
,
Algorithm.OrderingType
public SimulationAntichainUniversality(Algorithm.SearchType searchType, Algorithm.OrderingType orderingType)
searchType
- the search type used by the algorithm, either forward
or
backward
orderingType
- the ordering type used by the algorithm either identityRelation
,
forwardSimulation
or backwardSimulation
Algorithm.SearchType
,
Algorithm.OrderingType
public SimulationAntichainUniversality(Algorithm.SearchType searchType)
searchType
- the search type used by the algorithm, either forward
or
backward
Algorithm.SearchType
public void addComputationListener(ComputationListener l)
Algorithm
l
to this algorithm.addComputationListener
in interface Algorithm
l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
Algorithm
l
from this algorithm.removeComputationListener
in interface Algorithm
l
- the listener to be removedpublic boolean isUniversal(Automaton automaton)
UniversalityAlgorithm
true
if and only if the automaton automaton
is universal.isUniversal
in interface UniversalityAlgorithm
automaton
- the automaton to be checkedtrue
if the automaton is universal, false
otherwisepublic CospanCounterExample getCounterExample()
UniversalityAlgorithm
null
otherwisegetCounterExample
in interface UniversalityAlgorithm
null
otherwisepublic void cancelComputation()
Algorithm
cancelComputation
in interface Algorithm