de.learnlib.api.oracle

Interface EquivalenceOracle.DFAEquivalenceOracle<I>

Type Parameters:

I - input symbol class

All Superinterfaces:

EquivalenceOracle<DFA<?,I>,I,Boolean>

All Known Subinterfaces:

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

All Known Implementing Classes:

LoggingPropertyOracle.DFALoggingPropertyOracle

Enclosing interface:

EquivalenceOracle<A,I,D>

public static interface EquivalenceOracle.DFAEquivalenceOracle<I>
extends EquivalenceOracle<DFA<?,I>,I,Boolean>

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

Author:

Malte Isberner

Nested Class Summary

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

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

Method Summary

Methods inherited from interface de.learnlib.api.oracle.EquivalenceOracle

findCounterExample