Uses of Interface
net.maswag.falcaun.EvaluationCountable

Packages that use EvaluationCountable

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

Uses of EvaluationCountable in net.maswag.falcaun

Subinterfaces of EvaluationCountable in net.maswag.falcaun

Modifier and Type	Interface	Description
static interface	EvaluationCountable.MealyEquivalenceOracle<I,O>

Classes in net.maswag.falcaun that implement EvaluationCountable

Modifier and Type	Class	Description
class	AbstractSelectEQOracle	Abstract AbstractSelectEQOracle class.
class	EQSearchProblem	EQSearchProblem class.
static class	EvaluationCountable.Sum
(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.
(package private) class	NumericMembershipOracleCost
class	SAEQOracle	Answer the Equivalence query by simulated annealing