Uses of Class
net.maswag.falcaun.EQSearchProblem

Packages that use EQSearchProblem

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.

Uses of EQSearchProblem in net.maswag.falcaun

Fields in net.maswag.falcaun declared as EQSearchProblem

Modifier and Type	Field	Description
private EQSearchProblem	EQGenerationalGeneticAlgorithm.problem
private EQSearchProblem	EQSteadyStateGeneticAlgorithm.problem
private final EQSearchProblem	GAEQOracle.problem

Constructors in net.maswag.falcaun with parameters of type EQSearchProblem

Modifier	Constructor	Description
(package private)	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, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)
(package private)	EQSteadyStateGeneticAlgorithm(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, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)