Uses of Class
net.maswag.falcaun.ExtendedIOSignalPiece
Packages that use ExtendedIOSignalPiece
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 ExtendedIOSignalPiece in net.maswag.falcaun
Fields in net.maswag.falcaun with type parameters of type ExtendedIOSignalPieceMethods in net.maswag.falcaun that return ExtendedIOSignalPieceModifier and TypeMethodDescriptionExecute the SUL by feeding single step input.Methods in net.maswag.falcaun that return types with arguments of type ExtendedIOSignalPieceModifier and TypeMethodDescriptionParses a single line of the signal mapper definition.ExtendedSignalMapper.parseSignalMapperImpl(String line, ExtendedSignalMapperVisitor<Function<ExtendedIOSignalPiece<List<Double>>, List<Double>>> visitor) Parses the signal mapper definition using the specified visitor.Method parameters in net.maswag.falcaun with type arguments of type ExtendedIOSignalPieceModifier and TypeMethodDescriptionExtendedSignalMapper.parseSignalMapperImpl(String line, ExtendedSignalMapperVisitor<Function<ExtendedIOSignalPiece<List<Double>>, List<Double>>> visitor) Parses the signal mapper definition using the specified visitor. -
Uses of ExtendedIOSignalPiece in net.maswag.falcaun.parser
Methods in net.maswag.falcaun.parser that return types with arguments of type ExtendedIOSignalPieceModifier and TypeMethodDescriptionExtendedSignalMapperVisitorImpl.visitAtomic(ExtendedSignalMapperParser.AtomicContext ctx) Visit a parse tree produced byExtendedSignalMapperParser.atomic().ExtendedSignalMapperVisitorImpl.visitExpr(ExtendedSignalMapperParser.ExprContext ctx) Visit a parse tree produced byExtendedSignalMapperParser.expr().ExtendedSignalMapperVisitorImpl.visitExtended_expr(ExtendedSignalMapperParser.Extended_exprContext ctx)