Uses of Interface
net.maswag.falcaun.parser.SignalMapperVisitor
Packages that use SignalMapperVisitor
Package
Description
FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.
-
Uses of SignalMapperVisitor in net.maswag.falcaun
Methods in net.maswag.falcaun with parameters of type SignalMapperVisitorModifier and TypeMethodDescriptionprivate static Function<IOSignalPiece<List<Double>>,Double> SimpleSignalMapper.parseSignalMapperImpl(String line, SignalMapperVisitor<Function<IOSignalPiece<List<Double>>, Double>> visitor) -
Uses of SignalMapperVisitor in net.maswag.falcaun.parser
Classes in net.maswag.falcaun.parser that implement SignalMapperVisitorModifier and TypeClassDescriptionclassThis class provides an empty implementation ofSignalMapperVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.classSTLVisitorImpl class.