Enum Class GASelectionKind

java.lang.Object
java.lang.Enum<GASelectionKind>
net.maswag.falcaun.GASelectionKind
All Implemented Interfaces:
Serializable, Comparable<GASelectionKind>, Constable

public enum GASelectionKind extends Enum<GASelectionKind>
Enumeration of selection methods used in Genetic Algorithm (GA) equivalence queries. This enum defines the different strategies for selecting individuals from a population during the genetic algorithm process.

Selection methods determine how individuals are chosen for reproduction based on their fitness. Different selection methods can significantly impact the convergence and effectiveness of the GA.

Used by the GA equivalence oracle implementation to specify which selection strategy to use.

  • Enum Constant Details

    • BestSolution

      public static final GASelectionKind BestSolution
      Selects the best solution from the population based on fitness. This approach favors exploitation over exploration by always choosing the fittest individuals.
    • Tournament

      public static final GASelectionKind Tournament
      Tournament selection randomly selects a subset of individuals and chooses the best from that group. This method provides a balance between exploration and exploitation by introducing some randomness while still favoring fitter individuals.
  • Constructor Details

    • GASelectionKind

      private GASelectionKind()
  • Method Details

    • values

      public static GASelectionKind[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared
    • valueOf

      public static GASelectionKind valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null