Package net.maswag.falcaun

Class HillClimbingEQOracle

java.lang.Object

net.maswag.falcaun.AbstractSelectEQOracle

net.maswag.falcaun.HillClimbingEQOracle

All Implemented Interfaces:

de.learnlib.oracle.EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,String,?,String>,String,net.automatalib.word.Word<String>>, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<String,String>, EvaluationCountable, EvaluationCountable.MealyEquivalenceOracle<String,String>

Direct Known Subclasses:

SAEQOracle

public class HillClimbingEQOracle
extends AbstractSelectEQOracle

HillClimbingEQOracle class.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle

de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>

Nested classes/interfaces inherited from interface net.maswag.falcaun.EvaluationCountable

EvaluationCountable.MealyEquivalenceOracle<I,O>, EvaluationCountable.Sum

Field Summary

Fields inherited from class net.maswag.falcaun.AbstractSelectEQOracle

childrenSize, generationSize, memOracle, random, symbolList

Constructor Summary

Constructors

Constructor	Description
HillClimbingEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord)
HillClimbingEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)

Method Summary

Modifier and Type	Method	Description
protected List<net.automatalib.word.Word<String>>	createNextGeneration(List<net.automatalib.word.Word<String>> goodSamples)
(package private) Stream<net.automatalib.word.Word<String>>	neighborhoodStream(net.automatalib.word.Word<String> input)	Generate the stream returning the neighborhood of the given word

Methods inherited from class net.maswag.falcaun.AbstractSelectEQOracle

findCounterExample

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.maswag.falcaun.EvaluationCountable

getEvaluateCount

Constructor Details

HillClimbingEQOracle

HillClimbingEQOracle(NumericMembershipOracleCost memOracle,
 int length,
 Random random,
 int maxTests,
 int generationSize,
 int childrenSize,
 boolean resetWord)

HillClimbingEQOracle

HillClimbingEQOracle(NumericMembershipOracleCost memOracle,
 int length,
 Random random,
 int maxTests,
 int generationSize,
 int childrenSize,
 boolean resetWord,
 de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)

Method Details

createNextGeneration

protected List<net.automatalib.word.Word<String>> createNextGeneration(List<net.automatalib.word.Word<String>> goodSamples)

Specified by:

createNextGeneration in class AbstractSelectEQOracle

neighborhoodStream

Stream<net.automatalib.word.Word<String>> neighborhoodStream(net.automatalib.word.Word<String> input)

Generate the stream returning the neighborhood of the given word

Parameters:

input - the input word

Returns:

the stream returning the neighborhood of the given word