Uses of Interface
de.learnlib.oracle.EmptinessOracle

Packages that use EmptinessOracle

Package	Description
de.learnlib.oracle	This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.emptiness

Uses of EmptinessOracle in de.learnlib.oracle

Subinterfaces of EmptinessOracle in de.learnlib.oracle

Modifier and Type	Interface	Description
static interface	EmptinessOracle.DFAEmptinessOracle<I>
static interface	EmptinessOracle.MealyEmptinessOracle<I,O>
interface	LassoEmptinessOracle<L extends net.automatalib.modelchecking.Lasso<I,D>,I,D>	An emptiness oracle for lassos.
static interface	LassoEmptinessOracle.DFALassoEmptinessOracle<I>
static interface	LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>

Uses of EmptinessOracle in de.learnlib.oracle.emptiness

Classes in de.learnlib.oracle.emptiness that implement EmptinessOracle

Modifier and Type	Class	Description
class	AbstractBFEmptinessOracle<A extends net.automatalib.automaton.concept.DetOutputAutomaton<?,I,?,D>,I,D>	An EmptinessOracle that tries words in a breadth-first manner.
class	DFABFEmptinessOracle<I>	A type-specific refinement of AbstractBFEmptinessOracle.
class	DFALassoEmptinessOracleImpl<S,I>	A type-specific refinement of LassoEmptinessOracleImpl.
class	LassoEmptinessOracleImpl<L extends net.automatalib.modelchecking.Lasso<I,D>,S,I,D>
class	MealyBFEmptinessOracle<I,O>	A type-specific refinement of AbstractBFEmptinessOracle.
class	MealyLassoEmptinessOracleImpl<S,I,O>	A type-specific refinement of LassoEmptinessOracleImpl.