Uses of Class
net.maswag.falcaun.NumericMembershipOracle

Packages that use NumericMembershipOracle

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

Uses of NumericMembershipOracle in net.maswag.falcaun

Subclasses of NumericMembershipOracle in net.maswag.falcaun

Modifier and Type	Class	Description
(package private) class	NumericMembershipOracleCost	A membership oracle that computes the cost of input-output signals using a specified cost function.

Fields in net.maswag.falcaun declared as NumericMembershipOracle

Modifier and Type	Field	Description
private final NumericMembershipOracle	NumericSULVerifier.memOracle