Uses of Interface
net.maswag.falcaun.NumericSUL

Packages that use NumericSUL

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

Uses of NumericSUL in net.maswag.falcaun

Subinterfaces of NumericSUL in net.maswag.falcaun

Modifier and Type	Interface	Description
interface	ContinuousNumericSUL	Continuous-time systems under learning with numerical I/O.

Classes in net.maswag.falcaun that implement NumericSUL

Modifier and Type	Class	Description
class	SimulinkSUL	The System Under Learning implemented by a Simulink.

Fields in net.maswag.falcaun declared as NumericSUL

Modifier and Type	Field	Description
protected final NumericSUL	NumericSULVerifier.rawSUL
protected final NumericSUL	NumericMembershipOracle.sul

Constructors in net.maswag.falcaun with parameters of type NumericSUL

Modifier	Constructor	Description
(package private)	NumericMembershipOracle(NumericSUL sul, NumericSULMapper mapper)
(package private)	NumericMembershipOracleCost(NumericSUL sul, NumericSULMapper mapper, Function<IOSignal<List<Double>>,Double> costFunc)
	NumericSULVerifier(NumericSUL rawSUL, double signalStep, AdaptiveSTLUpdater<List<Double>> properties, NumericSULMapper mapper)	Constructor for SimulinkVerifier.