Package net.maswag.falcaun

Class MutateSelectEQOracle

java.lang.Object

net.maswag.falcaun.AbstractSelectEQOracle

net.maswag.falcaun.MutateSelectEQOracle

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>

public class MutateSelectEQOracle
extends AbstractSelectEQOracle

MutateSelectEQOracle 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

Modifier and Type	Field	Description
private int	changeSize

Fields inherited from class net.maswag.falcaun.AbstractSelectEQOracle

childrenSize, generationSize, memOracle, random, symbolList

Constructor Summary

Constructors

Constructor	Description
MutateSelectEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, int changeSize)

Method Summary

Modifier and Type	Method	Description
protected List<net.automatalib.word.Word<String>>	createNextGeneration(List<net.automatalib.word.Word<String>> goodSamples)
(package private) net.automatalib.word.Word<String>	mutateWord(net.automatalib.word.Word<String> original, List<? extends String> symbolList)

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

Field Details

changeSize

private int changeSize

Constructor Details

MutateSelectEQOracle

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

Method Details

createNextGeneration

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

Specified by:

createNextGeneration in class AbstractSelectEQOracle

mutateWord

net.automatalib.word.Word<String> mutateWord(net.automatalib.word.Word<String> original,
 List<? extends String> symbolList)