Uses of Interface
net.maswag.falcaun.parser.STLVisitor
Packages that use STLVisitor
Package
Description
FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.
-
Uses of STLVisitor in net.maswag.falcaun.parser
Classes in net.maswag.falcaun.parser that implement STLVisitorModifier and TypeClassDescriptionclassThis class provides an empty implementation ofSTLVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.classSTLVisitorImpl class.Methods in net.maswag.falcaun.parser with parameters of type STLVisitorModifier and TypeMethodDescriptionprivate static TemporalLogic.STLCostSTLFactory.parseImpl(String formula, STLVisitor<TemporalLogic.STLCost> visitor)