Uses of Interface
net.maswag.falcaun.ComponentWiseSignalDiscretizer
Packages that use ComponentWiseSignalDiscretizer
Package
Description
FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
-
Uses of ComponentWiseSignalDiscretizer in net.maswag.falcaun
Classes in net.maswag.falcaun that implement ComponentWiseSignalDiscretizerModifier and TypeClassDescriptionclassI/O Mapper between abstract/concrete NumericSUL.classSignalDiscretizer pre-composed with an SULMapperclassI/O Mapper between abstract/concrete signals using InputMapper and OutputMapper.Fields in net.maswag.falcaun declared as ComponentWiseSignalDiscretizerModifier and TypeFieldDescriptionprivate ComponentWiseSignalDiscretizerPostComposedSignalDiscretizer.discretizerprivate final ComponentWiseSignalDiscretizerPreComposedSignalDiscretizer.discretizerMethods in net.maswag.falcaun that return ComponentWiseSignalDiscretizerModifier and TypeMethodDescriptiondefault ComponentWiseSignalDiscretizerComponentWiseSignalDiscretizer.preCompose(@NonNull SULMapper<List<Double>, IOSignalPiece<List<Double>>, List<Double>, IOSignalPiece<List<Double>>> preMapper) SignalDiscretizer pre-composed with an SULMapper.Methods in net.maswag.falcaun with parameters of type ComponentWiseSignalDiscretizerModifier and TypeMethodDescriptionprotected voidPostComposedSignalDiscretizer.setDiscretizer(ComponentWiseSignalDiscretizer discretizer) Sets the discretizer for this PostComposedSignalDiscretizer.Constructors in net.maswag.falcaun with parameters of type ComponentWiseSignalDiscretizerModifierConstructorDescriptionPostComposedSignalDiscretizer(ComponentWiseSignalDiscretizer discretizer, SULMapper<String, String, String, String> postMapper) Constructor for PostComposedSignalDiscretizer.PreComposedSignalDiscretizer(@NonNull ComponentWiseSignalDiscretizer discretizer, @NonNull SULMapper<List<Double>, IOSignalPiece<List<Double>>, List<Double>, IOSignalPiece<List<Double>>> preMapper) Constructor for PreComposedSignalDiscretizer.