Package de.learnlib.oracle
Interface InclusionOracle<A extends Output<I,D>,I,D>
-
- Type Parameters:
A
- the automaton typeI
- the input typeD
- the output type
- All Superinterfaces:
EquivalenceOracle<A,I,D>
- All Known Subinterfaces:
BlackBoxOracle<A,I,D>
,BlackBoxOracle.DFABlackBoxOracle<I>
,BlackBoxOracle.MealyBlackBoxOracle<I,O>
,InclusionOracle.DFAInclusionOracle<I>
,InclusionOracle.MealyInclusionOracle<I,O>
,PropertyOracle<I,A,P,D>
,PropertyOracle.DFAPropertyOracle<I,P>
,PropertyOracle.MealyPropertyOracle<I,O,P>
- All Known Implementing Classes:
AbstractBFInclusionOracle
,CExFirstOracle
,DFABFInclusionOracle
,DFACExFirstOracle
,DFADisproveFirstOracle
,DFAFinitePropertyOracle
,DFALassoPropertyOracle
,DFAPropertyOracleChain
,DisproveFirstOracle
,LoggingPropertyOracle
,LoggingPropertyOracle.DFALoggingPropertyOracle
,LoggingPropertyOracle.MealyLoggingPropertyOracle
,MealyBFInclusionOracle
,MealyCExFirstOracle
,MealyDisproveFirstOracle
,MealyFinitePropertyOracle
,MealyLassoPropertyOracle
,MealyPropertyOracleChain
,PropertyOracleChain
public interface InclusionOracle<A extends Output<I,D>,I,D> extends EquivalenceOracle<A,I,D>
Decides whether the language of a given hypothesis is included in some other language (e.g., from aSUL
). If the whole language is not included, it provides a counterexample, such that it is a word in the given hypothesis, and not in the other language.Note that from the perspective of a learner an inclusion oracle is also an equivalence oracle, but a poor one, i.e. an inclusion oracle only implements L(H) ⊆ L(SUL), not L(H) ⊇ L(SUL).
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
InclusionOracle.DFAInclusionOracle<I>
static interface
InclusionOracle.MealyInclusionOracle<I,O>
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>, EquivalenceOracle.MooreEquivalenceOracle<I,O>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default boolean
isCounterExample(Output<I,D> hypothesis, Iterable<? extends I> input, D output)
-
Methods inherited from interface de.learnlib.oracle.EquivalenceOracle
findCounterExample
-
-