Uses of Interface
net.maswag.falcaun.parser.ExtendedSignalMapperVisitor
Packages that use ExtendedSignalMapperVisitor
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 ExtendedSignalMapperVisitor in net.maswag.falcaun
Methods in net.maswag.falcaun with parameters of type ExtendedSignalMapperVisitorModifier and TypeMethodDescriptionExtendedSignalMapper.parseSignalMapperImpl(String line, ExtendedSignalMapperVisitor<Function<ExtendedIOSignalPiece<List<Double>>, List<Double>>> visitor) Parses the signal mapper definition using the specified visitor. -
Uses of ExtendedSignalMapperVisitor in net.maswag.falcaun.parser
Classes in net.maswag.falcaun.parser that implement ExtendedSignalMapperVisitorModifier and TypeClassDescriptionclassThis class provides an empty implementation ofExtendedSignalMapperVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.classExtendedSignalMapperVisitorImpl class.