Uses of Class
net.maswag.falcaun.HillClimbingEQOracle

Packages that use HillClimbingEQOracle

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

Uses of HillClimbingEQOracle in net.maswag.falcaun

Subclasses of HillClimbingEQOracle in net.maswag.falcaun

Modifier and Type	Class	Description
class	SAEQOracle	Answer the Equivalence query by simulated annealing