de.ls5.jlearn.equivalenceoracles
Class EvolvingHypothesisRandomWalk

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

All Implemented Interfaces:

EquivalenceOracle

Deprecated.

@Deprecated
public class EvolvingHypothesisRandomWalk
extends Object
implements EquivalenceOracle

Author:

fh

Constructor Summary

EvolvingHypothesisRandomWalk()
Deprecated.

Method Summary

void	addHypothesis(Automaton h) Deprecated.
EquivalenceOracleOutput	findCounterExample(Automaton a) Deprecated. Search a counterexample for a provided hypothesis.
void	setLengthFactor(double lengthFactor) Deprecated.
void	setMaxQueriesPerTest(int maxQueriesPerTest) Deprecated.
void	setMaxQueriesSum(int maxQueriesSum) Deprecated.
void	setMinFutureLength(int minFutureLength) Deprecated.
void	setOracle(Oracle o) Deprecated. Specifies the Oracle to be queried when searching for counterexamples
void	setSeed(long aSeed) Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Detail

EvolvingHypothesisRandomWalk

public EvolvingHypothesisRandomWalk()

Deprecated.

Method Detail

addHypothesis

public void addHypothesis(Automaton h)

Deprecated.

findCounterExample

public EquivalenceOracleOutput findCounterExample(Automaton a)

Deprecated.

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)

Deprecated.

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

setSeed

public void setSeed(long aSeed)

Deprecated.

Parameters:

aSeed - the seed to set

setMaxQueriesPerTest

public void setMaxQueriesPerTest(int maxQueriesPerTest)

Deprecated.

Parameters:

maxQueriesPerTest - the maxQueriesPerTest to set

setMaxQueriesSum

public void setMaxQueriesSum(int maxQueriesSum)

Deprecated.

Parameters:

maxQueriesSum - the maxQueriesSum to set

setMinFutureLength

public void setMinFutureLength(int minFutureLength)

Deprecated.

Parameters:

minFutureLength - the minFutureLength to set

setLengthFactor

public void setLengthFactor(double lengthFactor)

Deprecated.

Parameters:

lengthFactor - the lenghFactor to set