Uses of Enum Class
net.maswag.falcaun.GASelectionKind

Packages that use GASelectionKind

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

Uses of GASelectionKind in net.maswag.falcaun

Fields in net.maswag.falcaun declared as GASelectionKind

Modifier and Type	Field	Description
private GASelectionKind	ArgParser.selectionKind

Methods in net.maswag.falcaun that return GASelectionKind

Modifier and Type	Method	Description
static GASelectionKind	GASelectionKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static GASelectionKind[]	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 GASelectionKind

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

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

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