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

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

findCounterExample, isCounterExample