I
- input symbol classO
- output symbol classpublic static interface EquivalenceOracle.MealyEquivalenceOracle<I,O> extends EquivalenceOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>
EquivalenceOracle
interface for a Mealy learning scenario.EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
findCounterExample
Copyright © 2018. All rights reserved.