Package net.maswag.falcaun

Interface EvaluationCountable.MealyEquivalenceOracle<I,O>

All Superinterfaces:

EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, EquivalenceOracle.MealyEquivalenceOracle<I,O>, EvaluationCountable

All Known Implementing Classes:

AbstractSelectEQOracle, GAEQOracle, HillClimbingEQOracle, MealyFixedSetEQOracle, MutateSelectEQOracle, SAEQOracle

Enclosing interface:

EvaluationCountable

public static interface EvaluationCountable.MealyEquivalenceOracle<I,O>
extends EvaluationCountable, EquivalenceOracle.MealyEquivalenceOracle<I,O>

Nested Class Summary

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

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

Nested classes/interfaces inherited from interface net.maswag.falcaun.EvaluationCountable

EvaluationCountable.MealyEquivalenceOracle<I,O>, EvaluationCountable.Sum

Method Summary

Methods inherited from interface de.learnlib.oracle.EquivalenceOracle

findCounterExample

Methods inherited from interface net.maswag.falcaun.EvaluationCountable

getEvaluateCount