de.learnlib.api.oracle

Interface InclusionOracle<A extends Output<I,D>,I,D>

Type Parameters:

A - the automaton type

I - the input type

D - 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:

LoggingPropertyOracle, LoggingPropertyOracle.DFALoggingPropertyOracle, LoggingPropertyOracle.MealyLoggingPropertyOracle

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 a SUL. 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).

Author:

Jeroen Meijer

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	InclusionOracle.DFAInclusionOracle<I>
static interface	InclusionOracle.MealyInclusionOracle<I,O>

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.EquivalenceOracle

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

Method Summary

Modifier and Type	Method and Description
default boolean	isCounterExample(Output<I,D> hypothesis, Iterable<? extends I> input, D output)

Methods inherited from interface de.learnlib.api.oracle.EquivalenceOracle

findCounterExample

Method Detail

isCounterExample

default boolean isCounterExample(Output<I,D> hypothesis,
                                 Iterable<? extends I> input,
                                 D output)