Serialized Form

Package net.maswag.falcaun

Class net.maswag.falcaun.EQGenerationalGeneticAlgorithm

class EQGenerationalGeneticAlgorithm extends org.uma.jmetal.algorithm.singleobjective.geneticalgorithm.GenerationalGeneticAlgorithm<org.uma.jmetal.solution.IntegerSolution> implements Serializable

Serialized Fields

ltlOracle

de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle

problem

EQSearchProblem problem

Class net.maswag.falcaun.EQSearchProblem

class EQSearchProblem extends org.uma.jmetal.problem.impl.AbstractIntegerProblem implements Serializable

Serialized Fields

cexQuery

de.learnlib.query.DefaultQuery<String,net.automatalib.word.Word<String>> cexQuery

evaluateCount

int evaluateCount

hypothesis

net.automatalib.automaton.transducer.MealyMachine<?,String,?,String> hypothesis

length

int length

memOracle

NumericMembershipOracleCost memOracle

stopped

boolean stopped

symbolList

List<? extends String> symbolList

Class net.maswag.falcaun.EQSteadyStateGeneticAlgorithm

class EQSteadyStateGeneticAlgorithm extends org.uma.jmetal.algorithm.singleobjective.geneticalgorithm.SteadyStateGeneticAlgorithm<org.uma.jmetal.solution.IntegerSolution> implements Serializable

Serialized Fields

ltlOracle

de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle

problem

EQSearchProblem problem

Class net.maswag.falcaun.EvaluationCountable.Sum

class Sum extends ArrayList<EvaluationCountable> implements Serializable

Class net.maswag.falcaun.IntegerRandomMutation

class IntegerRandomMutation extends Object implements Serializable

Serialized Fields

mutationProbability

double mutationProbability

random

Random random

Class net.maswag.falcaun.IntegerUniformCrossover

class IntegerUniformCrossover extends Object implements Serializable

Serialized Fields

crossoverProbability

double crossoverProbability