Uses of Enum Class
net.maswag.falcaun.ArgParser.GASelectionKind

Packages that use ArgParser.GASelectionKind

Package	Description
net.maswag.falcaun	The package for FalCAuN.

Uses of ArgParser.GASelectionKind in net.maswag.falcaun

Fields in net.maswag.falcaun declared as ArgParser.GASelectionKind

Modifier and Type	Field	Description
private ArgParser.GASelectionKind	ArgParser.selectionKind

Methods in net.maswag.falcaun that return ArgParser.GASelectionKind

Modifier and Type	Method	Description
static ArgParser.GASelectionKind	ArgParser.GASelectionKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ArgParser.GASelectionKind[]	ArgParser.GASelectionKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in net.maswag.falcaun with parameters of type ArgParser.GASelectionKind

Modifier and Type	Method	Description
void	NumericSULVerifier.addGAEQOracle(Function<IOSignal<List<Double>>,Double> costFunc, int length, int maxTests, ArgParser.GASelectionKind selectionKind, int generationSize, double crossoverProb, double mutationProbability, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)	add a Genetic algorithm-based equivalence oracle
void	NumericSULVerifier.addGAEQOracleAll(int length, int maxTest, ArgParser.GASelectionKind selectionKind, int populationSize, double crossoverProb, double mutationProb)

Constructors in net.maswag.falcaun with parameters of type ArgParser.GASelectionKind

Modifier	Constructor	Description
(package private)	GAEQOracle(NumericMembershipOracleCost memOracle, int length, int maxEvaluations, ArgParser.GASelectionKind selectionKind, int populationSize, double crossoverProb, double mutationProbability, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)