de.learnlib.api.oracle

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

Type Parameters:

L - the lasso type

I - the input type

D - the output type

All Superinterfaces:

EmptinessOracle<L,I,D>

All Known Subinterfaces:

LassoEmptinessOracle.DFALassoEmptinessOracle<I>, LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>

public interface LassoEmptinessOracle<L extends Lasso<I,D>,I,D>
extends EmptinessOracle<L,I,D>

An emptiness oracle for lassos.

Author:

Jeroen Meijer

See Also:

EmptinessOracle

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	LassoEmptinessOracle.DFALassoEmptinessOracle<I>
static interface	LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>

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

EmptinessOracle.DFAEmptinessOracle<I>, EmptinessOracle.MealyEmptinessOracle<I,O>

Method Summary

Modifier and Type	Method and Description
default boolean	isOmegaCounterExample(boolean isUltimatelyPeriodic) Return that when a lasso is ultimately periodic, it could serve as a counter example.

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

findCounterExample, isCounterExample

Method Detail

isOmegaCounterExample

default boolean isOmegaCounterExample(boolean isUltimatelyPeriodic)

Return that when a lasso is ultimately periodic, it could serve as a counter example.

Parameters:

isUltimatelyPeriodic - whether the lasso is ultimately periodic

Returns:

true when a lasso is ultimately periodic, false otherwise.