Uses of Interface
net.maswag.falcaun.NumericSUL

Packages that use NumericSUL

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

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.

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
	NumericMembershipOracle(NumericSUL sul, SignalDiscretizer mapper)
(package private)	NumericMembershipOracleCost(NumericSUL sul, SignalDiscretizer mapper, Function<IOSignal<List<Double>>,Double> costFunc)
	NumericSULVerifier(NumericSUL rawSUL, double signalStep, AdaptiveSTLUpdater<List<Double>> properties, SignalDiscretizer signalDiscretizer)	Constructor for SimulinkVerifier.