Uses of Interface
net.maswag.falcaun.SignalDiscretizer
Packages that use SignalDiscretizer
Package
Description
FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
-
Uses of SignalDiscretizer in net.maswag.falcaun
Subinterfaces of SignalDiscretizer in net.maswag.falcaunClasses in net.maswag.falcaun that implement SignalDiscretizerModifier and TypeClassDescriptionclassI/O Mapper between abstract/concrete NumericSUL.classOutput Mapper for NumericSUL based on Specification-Guided Abstraction.classSignalDiscretizer post-composed with an SULMapper.classSignalDiscretizer pre-composed with an SULMapperclassI/O Mapper between abstract/concrete signals using InputMapper and OutputMapper.Fields in net.maswag.falcaun declared as SignalDiscretizerModifier and TypeFieldDescriptionprotected final SignalDiscretizerNumericMembershipOracle.mapperprivate final SignalDiscretizerNumericSULVerifier.signalDiscretizerMethods in net.maswag.falcaun that return SignalDiscretizerModifier and TypeMethodDescriptiondefault SignalDiscretizerComponentWiseSignalDiscretizer.postCompose(@NonNull SULMapper<String, String, String, String> postMapper) SignalDiscretizer post-composed with an SULMapper.Constructors in net.maswag.falcaun with parameters of type SignalDiscretizerModifierConstructorDescriptionNumericMembershipOracle(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.