de.ls5.jlearn.equivalenceoracles
Class CompleteSearchEquivalenceOracle

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

All Implemented Interfaces:

EquivalenceOracle

public class CompleteSearchEquivalenceOracle
extends Object
implements EquivalenceOracle

Will test all words up to depth maxWordLength

Author:

fh

Constructor Summary

CompleteSearchEquivalenceOracle(int maxWordLength)

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

CompleteSearchEquivalenceOracle

public CompleteSearchEquivalenceOracle(int maxWordLength)

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