Uses of Class
net.maswag.falcaun.NumericMembershipOracleCost

Packages that use NumericMembershipOracleCost

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

Uses of NumericMembershipOracleCost in net.maswag.falcaun

Fields in net.maswag.falcaun declared as NumericMembershipOracleCost

Modifier and Type	Field	Description
protected NumericMembershipOracleCost	AbstractSelectEQOracle.memOracle	The membership oracle responsible for evaluating the generated test cases against the Mealy machine.
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)	Constructs an instance of AbstractSelectEQOracle with the specified parameters.
(package private)	AbstractSelectEQOracle(NumericMembershipOracleCost memOracle, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)	Constructs an instance of AbstractSelectEQOracle with the specified parameters, including a property oracle.
(package private)	EQSearchProblem(NumericMembershipOracleCost memOracle, int length)
(package private)	GAEQOracle(NumericMembershipOracleCost memOracle, int length, int maxEvaluations, GASelectionKind selectionKind, int populationSize, double crossoverProb, double mutationProbability, 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, 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, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)