Module de.learnlib.oracle.emptiness

Package de.learnlib.oracle.emptiness

Class Summary

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