public final class SimulationAntichainLanguageInclusion extends Object implements LanguageInclusionAlgorithm
LanguageInclusionAlgorithm.Implementations
Algorithm.OrderingType, Algorithm.SearchType
LANGUAGE_INCLUSION_ITERATION_STEP
Constructor and Description |
---|
SimulationAntichainLanguageInclusion(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType)
Creates a new instance of the antichain-based language inclusion algorithm.
|
SimulationAntichainLanguageInclusion(Algorithm.SearchType searchType,
boolean computeCounterExample)
Creates a new instance of the antichain-based language inclusion
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 first automaton is
not contained in the language of the second automaton, and
null
otherwise |
boolean |
isIncluded(Automaton first,
Automaton second)
Checks whether the language of the first automaton
first is included in
the language of the second automaton second . |
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this algorithm. |
public SimulationAntichainLanguageInclusion(Algorithm.SearchType searchType, boolean computeCounterExample)
searchType
- the search type of this instancecomputeCounterExample
- if true
a counterexample will be computed if the
language inclusion check failsAlgorithm.SearchType
public SimulationAntichainLanguageInclusion(Algorithm.SearchType searchType, Algorithm.OrderingType orderingType)
searchType
- the search type of this instanceorderingType
- the type of ordering which is to be usedAlgorithm.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 isIncluded(Automaton first, Automaton second)
LanguageInclusionAlgorithm
first
is included in
the language of the second automaton second
.isIncluded
in interface LanguageInclusionAlgorithm
first
- the first automatonsecond
- the second automatontrue
if the language of the first automaton is a subset of the
language of the second automaton, false
otherwisepublic CospanCounterExample getCounterExample()
LanguageInclusionAlgorithm
null
otherwisegetCounterExample
in interface LanguageInclusionAlgorithm
null
otherwisepublic void cancelComputation()
Algorithm
cancelComputation
in interface Algorithm