de.learnlib.api.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.

Author:

Jeroen Meijer

See Also:

AutomatonOracle

Nested Class Summary

Nested Classes

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

Method Summary

Modifier and Type	Method and 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.
boolean	isOmegaCounterExample(boolean isUltimatelyPeriodic) Returns whether a lasso that is ultimately periodic could serve as a counter example.
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.

isOmegaCounterExample

boolean isOmegaCounterExample(boolean isUltimatelyPeriodic)

Returns whether a lasso that is ultimately periodic could serve as a counter example.

Parameters:

isUltimatelyPeriodic - whether the lasso is ultimately periodic

Returns:

true when lasso that is ultimately periodic could serve as a counter example, false otherwise.

findCounterExample

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