Uses of Interface
net.maswag.falcaun.EvaluationCountable.MealyEquivalenceOracle

Packages that use EvaluationCountable.MealyEquivalenceOracle

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

Uses of EvaluationCountable.MealyEquivalenceOracle in net.maswag.falcaun

Classes in net.maswag.falcaun that implement EvaluationCountable.MealyEquivalenceOracle

Modifier and Type	Class	Description
class	AbstractSelectEQOracle	Abstract class for implementing equivalence oracles that select test cases based on a cost function.
class	GAEQOracle	Equivalence query using genetic algorithm
class	HillClimbingEQOracle	HillClimbingEQOracle class.
class	MealyFixedSetEQOracle	Equivalence oracle that uses a fixed set of samples.
class	MutateSelectEQOracle	MutateSelectEQOracle class.
class	SAEQOracle	Answer the Equivalence query by simulated annealing

Methods in net.maswag.falcaun that return EvaluationCountable.MealyEquivalenceOracle

Modifier and Type	Method	Description
EvaluationCountable.MealyEquivalenceOracle<String,String>	BlackBoxVerifier.addCornerCaseEQOracle(int length, int minStep)	Add a corner case equivalence oracle.