public interface LanguageInclusionAlgorithm extends Algorithm
Modifier and Type | Interface and Description |
---|---|
static class |
LanguageInclusionAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
Algorithm.OrderingType, Algorithm.SearchType
Modifier and Type | Field and Description |
---|---|
static String |
LANGUAGE_INCLUSION_ITERATION_STEP
Iteration Step Counter String Literal
|
Modifier and Type | Method and Description |
---|---|
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 . |
addComputationListener, cancelComputation, removeComputationListener
static final String LANGUAGE_INCLUSION_ITERATION_STEP
boolean isIncluded(Automaton first, Automaton second)
first
is included in
the language of the second automaton second
.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
otherwiseCospanCounterExample getCounterExample()
null
otherwisenull
otherwise