Uses of Interface
de.learnlib.api.EquivalenceOracle

Packages that use EquivalenceOracle

Package	Description
de.learnlib.api
de.learnlib.experiments

Uses of EquivalenceOracle in de.learnlib.api

Subinterfaces of EquivalenceOracle in de.learnlib.api

Modifier and Type	Interface and Description
static interface	EquivalenceOracle.DFAEquivalenceOracle<I>
static interface	EquivalenceOracle.MealyEquivalenceOracle<I,O>

Uses of EquivalenceOracle in de.learnlib.experiments

Constructors in de.learnlib.experiments with parameters of type EquivalenceOracle

Constructor and Description
Experiment.DFAExperiment(LearningAlgorithm<? extends DFA<?,I>,I,Boolean> learningAlgorithm, EquivalenceOracle<? super DFA<?,I>,I,Boolean> equivalenceAlgorithm, Alphabet<I> inputs)
Experiment.MealyExperiment(LearningAlgorithm<? extends MealyMachine<?,I,?,O>,I,Word<O>> learningAlgorithm, EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>> equivalenceAlgorithm, Alphabet<I> inputs)
Experiment(LearningAlgorithm<? extends A,I,O> learningAlgorithm, EquivalenceOracle<? super A,I,O> equivalenceAlgorithm, Alphabet<I> inputs)