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

Packages that use EvaluationCountable.MealyEquivalenceOracle

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

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 AbstractSelectEQOracle class.
(package private) 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.