Package net.maswag.falcaun

Interface EvaluationCountable.MealyEquivalenceOracle<I,O>

All Superinterfaces:
de.learnlib.oracle.EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, de.learnlib.oracle.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, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>

  • Nested Class Summary

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

    de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>

    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