Uses of Package
net.maswag.falcaun.parser
Packages that use net.maswag.falcaun.parser
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.
-
Classes in net.maswag.falcaun.parser used by net.maswag.falcaunClassDescriptionThis interface defines a complete generic visitor for a parse tree produced by
ExtendedSignalMapperParser.This interface defines a complete generic visitor for a parse tree produced bySignalMapperParser.Interface of a TemporalLogic formula. -
Classes in net.maswag.falcaun.parser used by net.maswag.falcaun.parserClassDescriptionAbstract base class for temporal logic formulas.This class provides an empty implementation of
ExtendedSignalMapperVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.This interface defines a complete listener for a parse tree produced byExtendedSignalMapperParser.This interface defines a complete generic visitor for a parse tree produced byExtendedSignalMapperParser.The atomic propositions in LTL formulasThis class provides an empty implementation ofLTLVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.This interface defines a complete listener for a parse tree produced byLTLParser.This interface defines a complete generic visitor for a parse tree produced byLTLParser.The RoSI class representing a robust satisfaction interval (RoSI).This 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.This interface defines a complete listener for a parse tree produced bySignalMapperParser.This interface defines a complete generic visitor for a parse tree produced bySignalMapperParser.STLAtomic class.This 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.This interface defines a complete listener for a parse tree produced bySTLParser.This interface defines a complete generic visitor for a parse tree produced bySTLParser.The class representing the AND operator of temporal logic.STLEventually class.TemporalGlobally class.STLImply class.Interface of a TemporalLogic formula.Specifies the type of the formula.STLNext class.STLTemporalNot class.The class representing the OR operator of temporal logic.TemporalRelease class.TemporalUntil class.