de.ls5.jlearn.equivalenceoracles
Class EquivalenceOracleSimple

java.lang.Object
  de.ls5.jlearn.equivalenceoracles.EquivalenceOracleSimple

All Implemented Interfaces:

EquivalenceOracle

public class EquivalenceOracleSimple
extends Object
implements EquivalenceOracle

Author:

merten

Constructor Summary

EquivalenceOracleSimple()

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EquivalenceOracleSimple

public EquivalenceOracleSimple()

Method Detail

findCounterExample

public EquivalenceOracleOutput findCounterExample(Automaton a)

Description copied from interface: EquivalenceOracle

Search a counterexample for a provided hypothesis.

Specified by:

findCounterExample in interface EquivalenceOracle

Parameters:

a - Automaton to be checked

Returns:

EquivalenceOracleOutput object if a counterexample was found, null otherwise

setOracle

public void setOracle(Oracle o)

Description copied from interface: EquivalenceOracle

Specifies the Oracle to be queried when searching for counterexamples

Specified by:

setOracle in interface EquivalenceOracle

Parameters:

o - Oracle to be queried