Uses of Class
de.learnlib.util.AbstractBFOracle

Packages that use AbstractBFOracle

Package	Description
de.learnlib.oracle.emptiness
de.learnlib.oracle.equivalence
de.learnlib.testsupport	This package (including sub-packages) contains utility code for formalizing test-cases.

Uses of AbstractBFOracle in de.learnlib.oracle.emptiness

Subclasses of AbstractBFOracle in de.learnlib.oracle.emptiness

Modifier and Type	Class	Description
class	DFABFEmptinessOracle<I>	This is an auto-generated refinement.
class	MealyBFEmptinessOracle<I,O>	This is an auto-generated refinement.

Uses of AbstractBFOracle in de.learnlib.oracle.equivalence

Subclasses of AbstractBFOracle in de.learnlib.oracle.equivalence

Modifier and Type	Class	Description
class	AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>	An InclusionOracle that generates words in a breadth-first manner.
class	DFABFInclusionOracle<I>	This is an auto-generated refinement.
class	MealyBFInclusionOracle<I,O>	This is an auto-generated refinement.

Uses of AbstractBFOracle in de.learnlib.testsupport

Methods in de.learnlib.testsupport that return AbstractBFOracle

Modifier and Type	Method	Description
protected abstract AbstractBFOracle<? extends SimpleDTS<?,Character>,Character,D>	AbstractBFOracleTest.createBreadthFirstOracle(double multiplier)