Uses of Interface
de.ls5.jlearn.interfaces.EquivalenceOracleOutput

Packages that use EquivalenceOracleOutput

de.ls5.jlearn.equivalenceoracles
de.ls5.jlearn.interfaces

Uses of EquivalenceOracleOutput in de.ls5.jlearn.equivalenceoracles

Classes in de.ls5.jlearn.equivalenceoracles that implement EquivalenceOracleOutput

class

EquivalenceOracleOutputImpl

Methods in de.ls5.jlearn.equivalenceoracles that return EquivalenceOracleOutput

EquivalenceOracleOutput	CompleteSearchEquivalenceOracle.findCounterExample(Automaton a)
EquivalenceOracleOutput	RandomWalkEquivalenceOracle.findCounterExample(Automaton a)
EquivalenceOracleOutput	EvolvingHypothesisRandomWalk.findCounterExample(Automaton a) Deprecated.
EquivalenceOracleOutput	SimulatorEquivalenceOracle.findCounterExample(Automaton a)
EquivalenceOracleOutput	WMethodEquivalenceTest.findCounterExample(Automaton h)
EquivalenceOracleOutput	EquivalenceOracleSimple.findCounterExample(Automaton a)
EquivalenceOracleOutput	SimulatorEquivalenceOracleDFA.findCounterExample(Automaton a)

Uses of EquivalenceOracleOutput in de.ls5.jlearn.interfaces

Methods in de.ls5.jlearn.interfaces that return EquivalenceOracleOutput

EquivalenceOracleOutput

EquivalenceOracle.findCounterExample(Automaton a) Search a counterexample for a provided hypothesis.