Uses of Interface
net.maswag.falcaun.SignalDiscretizer

Packages that use SignalDiscretizer

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

Uses of SignalDiscretizer in net.maswag.falcaun

Subinterfaces of SignalDiscretizer in net.maswag.falcaun

Modifier and Type	Interface	Description
interface	ComponentWiseSignalDiscretizer

Classes in net.maswag.falcaun that implement SignalDiscretizer

Modifier and Type	Class	Description
class	NumericSULMapper	I/O Mapper between abstract/concrete NumericSUL.
class	NumericSULMapperWithSGA	Output Mapper for NumericSUL based on Specification-Guided Abstraction.
class	PostComposedSignalDiscretizer	SignalDiscretizer post-composed with an SULMapper.
class	PreComposedSignalDiscretizer	SignalDiscretizer pre-composed with an SULMapper
class	SignalAdapter	I/O Mapper between abstract/concrete signals using InputMapper and OutputMapper.

Fields in net.maswag.falcaun declared as SignalDiscretizer

Modifier and Type	Field	Description
protected final SignalDiscretizer	NumericMembershipOracle.mapper
private final SignalDiscretizer	NumericSULVerifier.signalDiscretizer

Methods in net.maswag.falcaun that return SignalDiscretizer

Modifier and Type	Method	Description
default SignalDiscretizer	ComponentWiseSignalDiscretizer.postCompose(@NonNull SULMapper<String,String,String,String> postMapper)	SignalDiscretizer post-composed with an SULMapper.

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

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.