I
- input symbol classpublic static interface EquivalenceOracle.DFAEquivalenceOracle<I> extends EquivalenceOracle<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
EquivalenceOracle
interface for a DFA learning scenario.EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
findCounterExample
Copyright © 2018. All rights reserved.