de.ls5.jlearn.interfaces
Interface EquivalenceOracle

All Known Implementing Classes:

CompleteSearchEquivalenceOracle, EquivalenceOracleSimple, EvolvingHypothesisRandomWalk, RandomWalkEquivalenceOracle, SimulatorEquivalenceOracle, SimulatorEquivalenceOracleDFA, WMethodEquivalenceTest

public interface EquivalenceOracle

Interface for equivalence oracles

Author:

merten

Method Summary

EquivalenceOracleOutput	findCounterExample(Automaton a) Search a counterexample for a provided hypothesis.
void	setOracle(Oracle o) Specifies the Oracle to be queried when searching for counterexamples

Method Detail

findCounterExample

EquivalenceOracleOutput findCounterExample(Automaton a)

Search a counterexample for a provided hypothesis.

Parameters:

a - Automaton to be checked

Returns:

EquivalenceOracleOutput object if a counterexample was found, null otherwise

setOracle

void setOracle(Oracle o)

Specifies the Oracle to be queried when searching for counterexamples

Parameters:

o - Oracle to be queried