Module de.learnlib.api

Package de.learnlib.oracle

Interface LassoEmptinessOracle<L extends net.automatalib.modelchecking.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>

All Known Implementing Classes:

DFALassoEmptinessOracleImpl, LassoEmptinessOracleImpl, MealyLassoEmptinessOracleImpl

public interface LassoEmptinessOracle<L extends net.automatalib.modelchecking.Lasso<I,D>,I,D>
extends EmptinessOracle<L,I,D>

An emptiness oracle for lassos.

See Also:

EmptinessOracle

Nested Class Summary

Nested Classes

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

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

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

Method Summary

Methods inherited from interface de.learnlib.oracle.EmptinessOracle

findCounterExample, isCounterExample