de.ls5.jlearn.equivalenceoracles
Class RandomWalkEquivalenceOracle

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

All Implemented Interfaces:

EquivalenceOracle, Serializable

public class RandomWalkEquivalenceOracle
extends Object
implements EquivalenceOracle, Serializable

Author:

fh

See Also:

Serialized Form

Constructor Summary

RandomWalkEquivalenceOracle()

RandomWalkEquivalenceOracle(int maxtests, int minlength, int maxlength)

RandomWalkEquivalenceOracle(int maxtests, int minlength, int maxlength, int seed)

RandomWalkEquivalenceOracle(int maxtests, int minlength, int maxlength, Random r)

Method Summary

EquivalenceOracleOutput	findCounterExample(Automaton a) Search a counterexample for a provided hypothesis.
void	setMaxlength(int maxlength)
void	setMaxTests(int maxtests)
void	setMinlength(int minlength)
void	setOracle(Oracle o) Specifies the Oracle to be queried when searching for counterexamples
void	setRandom(Random r) Set the used Random number generator
void	setSeed(long seed) Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Detail

RandomWalkEquivalenceOracle

public RandomWalkEquivalenceOracle()

RandomWalkEquivalenceOracle

public RandomWalkEquivalenceOracle(int maxtests,
                                   int minlength,
                                   int maxlength)

RandomWalkEquivalenceOracle

public RandomWalkEquivalenceOracle(int maxtests,
                                   int minlength,
                                   int maxlength,
                                   int seed)

RandomWalkEquivalenceOracle

public RandomWalkEquivalenceOracle(int maxtests,
                                   int minlength,
                                   int maxlength,
                                   Random r)

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

setMinlength

public void setMinlength(int minlength)

Parameters:

minlength - the minlength to set

setMaxlength

public void setMaxlength(int maxlength)

Parameters:

maxlength - the maxlength to set

setSeed

@Deprecated
public void setSeed(long seed)

Deprecated.

Parameters:

seed - seed for Random number generator

setRandom

public void setRandom(Random r)

Set the used Random number generator

Parameters:

r - provided Random instance

setMaxTests

public void setMaxTests(int maxtests)

Parameters:

maxtests - the limit on the number of tests