Uses of Class
net.maswag.falcaun.NumericMembershipOracleCost

Packages that use NumericMembershipOracleCost

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

Uses of NumericMembershipOracleCost in net.maswag.falcaun

Fields in net.maswag.falcaun declared as NumericMembershipOracleCost

Modifier and Type	Field	Description
(package private) NumericMembershipOracleCost	AbstractSelectEQOracle.memOracle
private final NumericMembershipOracleCost	EQSearchProblem.memOracle

Fields in net.maswag.falcaun with type parameters of type NumericMembershipOracleCost

Modifier and Type	Field	Description
private final List<NumericMembershipOracleCost>	NumericSULVerifier.memOracleCosts
private Set<NumericMembershipOracleCost>	NumericMembershipOracleCost.notifiedSet

Methods in net.maswag.falcaun with parameters of type NumericMembershipOracleCost

Modifier and Type	Method	Description
(package private) boolean	NumericMembershipOracleCost.addNotified(NumericMembershipOracleCost notified)

Method parameters in net.maswag.falcaun with type arguments of type NumericMembershipOracleCost

Modifier and Type	Method	Description
(package private) boolean	NumericMembershipOracleCost.addNotifiedAll(Collection<NumericMembershipOracleCost> notified)

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

Modifier	Constructor	Description
(package private)	AbstractSelectEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord)
(package private)	AbstractSelectEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)
(package private)	EQSearchProblem(NumericMembershipOracleCost memOracle, int length)
(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)
(package private)	HillClimbingEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord)
(package private)	HillClimbingEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)
(package private)	MutateSelectEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, int changeSize)
	SAEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, double alpha)	Constructor for SAEQOracle.
(package private)	SAEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, double alpha, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)