Uses of Interface
de.learnlib.oracle.AutomatonOracle
-
Packages that use AutomatonOracle Package Description de.learnlib.oracle This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.de.learnlib.oracle.emptiness de.learnlib.oracle.equivalence de.learnlib.util This package (and sub-packages) provide general utilities used throughout LearnLib. -
-
Uses of AutomatonOracle in de.learnlib.oracle
Subinterfaces of AutomatonOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
AutomatonOracle.DFAOracle<I>
static interface
AutomatonOracle.MealyOracle<I,O>
-
Uses of AutomatonOracle in de.learnlib.oracle.emptiness
Classes in de.learnlib.oracle.emptiness that implement AutomatonOracle 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 AutomatonOracle in de.learnlib.oracle.equivalence
Classes in de.learnlib.oracle.equivalence that implement AutomatonOracle Modifier and Type Class Description class
AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>
AnInclusionOracle
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 AutomatonOracle in de.learnlib.util
Classes in de.learnlib.util that implement AutomatonOracle Modifier and Type Class Description class
AbstractBFOracle<A extends DeterministicAutomaton<?,I,?>,I,D>
AnAutomatonOracle
that processes words in a breadth-first manner.
-