de.ls5.jlearn.equivalenceoracles
Class WMethodEquivalenceTest

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

All Implemented Interfaces:

EquivalenceOracle

public class WMethodEquivalenceTest
extends Object
implements EquivalenceOracle

Author:

fh

Constructor Summary

WMethodEquivalenceTest()

WMethodEquivalenceTest(int maxSize)

Method Summary

EquivalenceOracleOutput	findCounterExample(Automaton h) Search a counterexample for a provided hypothesis.
int	getMaxSize()
void	setMaxSize(int maxSize)
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

WMethodEquivalenceTest

public WMethodEquivalenceTest(int maxSize)

WMethodEquivalenceTest

public WMethodEquivalenceTest()

Method Detail

findCounterExample

public EquivalenceOracleOutput findCounterExample(Automaton h)

Description copied from interface: EquivalenceOracle

Search a counterexample for a provided hypothesis.

Specified by:

findCounterExample in interface EquivalenceOracle

Parameters:

h - 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

getMaxSize

public int getMaxSize()

Returns:

the maxSize

setMaxSize

public void setMaxSize(int maxSize)

Parameters:

maxSize - the maxSize to set