Package de.learnlib.oracle

Interface LassoOracle<L extends Lasso<I,D>,I,D>

Type Parameters:

L - the type of Lasso.

I - the type of input.

D - the type of output.

All Known Subinterfaces:

LassoOracle.DFALassoOracle<I>, LassoOracle.MealyLassoOracle<I,O>

All Known Implementing Classes:

DFALassoEmptinessOracleImpl, LassoEmptinessOracleImpl, MealyLassoEmptinessOracleImpl

public interface LassoOracle<L extends Lasso<I,D>,I,D>

An automaton oracle for lassos.

See Also:

AutomatonOracle

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	LassoOracle.DFALassoOracle<I>
static interface	LassoOracle.MealyLassoOracle<I,O>

Method Summary

Modifier and Type	Method	Description
default @Nullable DefaultQuery<I,D>	findCounterExample(L hypothesis, Collection<? extends I> inputs)
boolean	isCounterExample(Output<I,D> hypothesis, Iterable<? extends I> inputs, D output)	Returns whether the given input and output is a counter example for the given hypothesis.
OmegaQuery<I,D>	processInput(Word<I> prefix, Word<I> loop, int repeat)	Processes the given omega query.

Method Detail

processInput

OmegaQuery<I,D> processInput(Word<I> prefix,
                                   Word<I> loop,
                                   int repeat)

Processes the given omega query.

Parameters:

prefix - the prefix

loop - the loop

repeat - the maximum number of times the loop may be repeated

Returns:

the omega query.

isCounterExample

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

Returns whether the given input and output is a counter example for the given hypothesis.

Parameters:

hypothesis - the hypothesis

inputs - the input sequence

output - the output corresponding to the input.

Returns:

whether the given input and output is a counter example.

findCounterExample

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