Module de.learnlib.api

Package de.learnlib.oracle

Interface EquivalenceOracle.DFAEquivalenceOracle<I>

Type Parameters:

I - input symbol class

All Superinterfaces:

EquivalenceOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

All Known Subinterfaces:

InclusionOracle.DFAInclusionOracle<I>, PropertyOracle.DFAPropertyOracle<I,P>

All Known Implementing Classes:

DFABFInclusionOracle, DFACExFirstOracle, DFACompleteExplorationEQOracle, DFAEQOracleChain, DFAFinitePropertyOracle, DFAIncrementalWMethodEQOracle, DFALassoPropertyOracle, DFAPropertyOracleChain, DFARandomWMethodEQOracle, DFARandomWordsEQOracle, DFARandomWpMethodEQOracle, DFASimulatorEQOracle, DFAWMethodEQOracle, DFAWpMethodEQOracle, LoggingPropertyOracle.DFALoggingPropertyOracle

Enclosing interface:

EquivalenceOracle<A,I,D>

public static interface EquivalenceOracle.DFAEquivalenceOracle<I>
extends EquivalenceOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

A specialization of the EquivalenceOracle interface for a DFA learning scenario.

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>, EquivalenceOracle.MooreEquivalenceOracle<I,O>

Method Summary

Methods inherited from interface de.learnlib.oracle.EquivalenceOracle

findCounterExample