de.learnlib.api.oracle

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

Type Parameters:

A - the automaton type

I - the input type

D - the output type

All Known Subinterfaces:

EmptinessOracle.DFAEmptinessOracle<I>, EmptinessOracle.MealyEmptinessOracle<I,O>, LassoEmptinessOracle<L,I,D>, LassoEmptinessOracle.DFALassoEmptinessOracle<I>, LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>

All Known Implementing Classes:

DFABFEmptinessOracle, DFALassoEmptinessOracleImpl, LassoEmptinessOracleImpl, MealyBFEmptinessOracle, MealyLassoEmptinessOracleImpl

public interface EmptinessOracle<A extends Output<I,D>,I,D>

Decides whether the intersection of the language of a given hypothesis and some other language (e.g. from a SUL is empty. If the intersection is not empty it provides a counterexample, such that it is a word in the intersection. More precisely an emptiness oracle decides whether L(H) ∩ L(SUL) = ∅.

Author:

Jeroen Meijer

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	EmptinessOracle.DFAEmptinessOracle<I>
static interface	EmptinessOracle.MealyEmptinessOracle<I,O>

Method Summary

Modifier and Type	Method and Description
@Nullable DefaultQuery<I,D>	findCounterExample(A hypothesis, Collection<? extends I> inputs)
default boolean	isCounterExample(Output<I,D> hypothesis, Iterable<? extends I> input, D output)

Method Detail

isCounterExample

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

findCounterExample

@Nullable DefaultQuery<I,D> findCounterExample(A hypothesis,
                                               Collection<? extends I> inputs)