Uses of Class
net.maswag.falcaun.NumericSULMapper

Packages that use NumericSULMapper

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

Uses of NumericSULMapper in net.maswag.falcaun

Fields in net.maswag.falcaun declared as NumericSULMapper

Modifier and Type	Field	Description
protected final NumericSULMapper	NumericMembershipOracle.mapper
private final NumericSULMapper	NumericSULVerifier.mapper
private final NumericSULMapper	SimulinkRandomTester.mapper

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

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.
	SimulinkRandomTester(String initScript, List<String> paramName, int length, double signalStep, List<String> properties, List<TemporalLogic.STLCost> costFunc, NumericSULMapper mapper)
	SimulinkSULVerifier(String initScript, List<String> paramName, double signalStep, double simulinkSimulationStep, AdaptiveSTLUpdater<List<Double>> properties, NumericSULMapper mapper)	Constructor for SimulinkVerifier.