Uses of Interface
net.maswag.falcaun.EvaluationCountable

Packages that use EvaluationCountable

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

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 class for implementing equivalence oracles that select test cases based on a cost function.
class	EQSearchProblem	EQSearchProblem class.
static class	EvaluationCountable.Sum
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	A membership oracle that computes the cost of input-output signals using a specified cost function.
class	SAEQOracle	Answer the Equivalence query by simulated annealing