Uses of Class
net.maswag.falcaun.EQSearchProblem

Packages that use EQSearchProblem
Package
Description
The package for FalCAuN.
  • Uses of EQSearchProblem in net.maswag.falcaun

    Fields in net.maswag.falcaun declared as EQSearchProblem
    Modifier and Type
    Field
    Description
    EQGenerationalGeneticAlgorithm.problem
     
    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, de.learnlib.oracle.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, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)