Uses of Class
net.maswag.falcaun.TimeoutEQOracle

Packages that use TimeoutEQOracle

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

Uses of TimeoutEQOracle in net.maswag.falcaun

Fields in net.maswag.falcaun with type parameters of type TimeoutEQOracle

Modifier and Type	Field	Description
private final List<TimeoutEQOracle<String,String>>	BlackBoxVerifier.timeoutOracles	A list of timeout oracles used to manage timeouts for equivalence oracle operations.