Package net.maswag.falcaun

Class EQGenerationalGeneticAlgorithm

java.lang.Object

org.uma.jmetal.algorithm.impl.AbstractEvolutionaryAlgorithm<org.uma.jmetal.solution.IntegerSolution,org.uma.jmetal.solution.IntegerSolution>

org.uma.jmetal.algorithm.impl.AbstractGeneticAlgorithm<org.uma.jmetal.solution.IntegerSolution,org.uma.jmetal.solution.IntegerSolution>

org.uma.jmetal.algorithm.singleobjective.geneticalgorithm.GenerationalGeneticAlgorithm<org.uma.jmetal.solution.IntegerSolution>

net.maswag.falcaun.EQGenerationalGeneticAlgorithm

All Implemented Interfaces:

Serializable, Runnable, org.uma.jmetal.algorithm.Algorithm<org.uma.jmetal.solution.IntegerSolution>, org.uma.jmetal.util.naming.DescribedEntity

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

SimulinkGenerationalGeneticAlgorithm class.

Author:

Masaki Waga <masakiwaga@gmail.com>

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private static final org.slf4j.Logger	LOGGER
private de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String>	ltlOracle
private EQSearchProblem	problem

Fields inherited from class org.uma.jmetal.algorithm.impl.AbstractGeneticAlgorithm

crossoverOperator, maxPopulationSize, mutationOperator, selectionOperator

Fields inherited from class org.uma.jmetal.algorithm.impl.AbstractEvolutionaryAlgorithm

population

Constructor Summary

Constructors

Constructor

Description

EQGenerationalGeneticAlgorithm(EQSearchProblem problem, int maxEvaluations, int populationSize, org.uma.jmetal.operator.CrossoverOperator<org.uma.jmetal.solution.IntegerSolution> crossoverOperator, org.uma.jmetal.operator.MutationOperator<org.uma.jmetal.solution.IntegerSolution> mutationOperator, org.uma.jmetal.operator.SelectionOperator<List<org.uma.jmetal.solution.IntegerSolution>,org.uma.jmetal.solution.IntegerSolution> selectionOperator, org.uma.jmetal.util.evaluator.SolutionListEvaluator<org.uma.jmetal.solution.IntegerSolution> evaluator, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)

Method Summary

Modifier and Type	Method	Description
protected List<org.uma.jmetal.solution.IntegerSolution>	createInitialPopulation()
protected boolean	isStoppingConditionReached()

Methods inherited from class org.uma.jmetal.algorithm.singleobjective.geneticalgorithm.GenerationalGeneticAlgorithm

evaluatePopulation, getDescription, getName, getResult, initProgress, replacement, updateProgress

Methods inherited from class org.uma.jmetal.algorithm.impl.AbstractGeneticAlgorithm

checkNumberOfParents, getCrossoverOperator, getMaxPopulationSize, getMutationOperator, getSelectionOperator, reproduction, selection, setMaxPopulationSize

Methods inherited from class org.uma.jmetal.algorithm.impl.AbstractEvolutionaryAlgorithm

getPopulation, getProblem, run, setPopulation, setProblem

Methods inherited from class java.lang.Object

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

Field Details

LOGGER

private static final org.slf4j.Logger LOGGER

problem

private EQSearchProblem problem

ltlOracle

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

Constructor Details

EQGenerationalGeneticAlgorithm

EQGenerationalGeneticAlgorithm(EQSearchProblem problem,
 int maxEvaluations,
 int populationSize,
 org.uma.jmetal.operator.CrossoverOperator<org.uma.jmetal.solution.IntegerSolution> crossoverOperator,
 org.uma.jmetal.operator.MutationOperator<org.uma.jmetal.solution.IntegerSolution> mutationOperator,
 org.uma.jmetal.operator.SelectionOperator<List<org.uma.jmetal.solution.IntegerSolution>,org.uma.jmetal.solution.IntegerSolution> selectionOperator,
 org.uma.jmetal.util.evaluator.SolutionListEvaluator<org.uma.jmetal.solution.IntegerSolution> evaluator,
 de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)

Method Details

isStoppingConditionReached

protected boolean isStoppingConditionReached()

Overrides:

isStoppingConditionReached in class org.uma.jmetal.algorithm.singleobjective.geneticalgorithm.GenerationalGeneticAlgorithm<org.uma.jmetal.solution.IntegerSolution>

createInitialPopulation

protected List<org.uma.jmetal.solution.IntegerSolution> createInitialPopulation()

Create initial population only for the initial run

Overrides:

createInitialPopulation in class org.uma.jmetal.algorithm.impl.AbstractGeneticAlgorithm<org.uma.jmetal.solution.IntegerSolution,org.uma.jmetal.solution.IntegerSolution>