Package net.maswag.falcaun.parser
package net.maswag.falcaun.parser
FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.
This package provides classes and interfaces for parsing and manipulating temporal logic formulas
(Signal Temporal Logic, Linear Temporal Logic), signal mappers, and related utilities used in
FalCAuN core package.
-
ClassDescriptionAbstract base class for temporal logic formulas.This class provides an empty implementation of
ExtendedSignalMapperListener, which can be extended to create a listener which only needs to handle a subset of the available methods.This 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.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.ExtendedSignalMapperVisitorImpl class.The atomic propositions in LTL formulasThis class provides an empty implementation ofLTLListener, which can be extended to create a listener which only needs to handle a subset of the available methods.This 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 class provides a method to parse an LTL (Linear Temporal Logic) formula.Helper class for LTL formula operations.This interface defines a complete listener for a parse tree produced byLTLParser.LTLVisitor<T>This interface defines a complete generic visitor for a parse tree produced byLTLParser.LTLVisitorImpl class.The RoSI class representing a robust satisfaction interval (RoSI).This class provides an empty implementation ofSignalMapperListener, which can be extended to create a listener which only needs to handle a subset of the available methods.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.STLVisitorImpl class.STLAtomic class.This class provides an empty implementation ofSTLListener, which can be extended to create a listener which only needs to handle a subset of the available methods.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 class represents an atomic formula in STL for input signals.This interface defines a complete listener for a parse tree produced bySTLParser.STLAtomic class.STLVisitor<T>This interface defines a complete generic visitor for a parse tree produced bySTLParser.STLVisitorImpl class.TemporalAnd<I>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.TemporalNext<I>STLNext class.TemporalNot<I>STLTemporalNot class.TemporalOp<I>TemporalOr<I>The class representing the OR operator of temporal logic.TemporalRelease class.TemporalSub<I>TemporalUntil class.