Uses of Class
net.maswag.falcaun.parser.LTLParser.UnaryTemporalOperatorContext

Packages that use LTLParser.UnaryTemporalOperatorContext

Package	Description
net.maswag.falcaun.parser	FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.

Uses of LTLParser.UnaryTemporalOperatorContext in net.maswag.falcaun.parser

Methods in net.maswag.falcaun.parser that return LTLParser.UnaryTemporalOperatorContext

Modifier and Type	Method	Description
LTLParser.UnaryTemporalOperatorContext	LTLParser.ExprContext.unaryTemporalOperator()
LTLParser.UnaryTemporalOperatorContext	LTLParser.UnaryOperatorContext.unaryTemporalOperator()
final LTLParser.UnaryTemporalOperatorContext	LTLParser.unaryTemporalOperator()

Methods in net.maswag.falcaun.parser with parameters of type LTLParser.UnaryTemporalOperatorContext

Modifier and Type	Method	Description
void	LTLBaseListener.enterUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Enter a parse tree produced by LTLParser.unaryTemporalOperator().
void	LTLListener.enterUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Enter a parse tree produced by LTLParser.unaryTemporalOperator().
void	LTLBaseListener.exitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Exit a parse tree produced by LTLParser.unaryTemporalOperator().
void	LTLListener.exitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Exit a parse tree produced by LTLParser.unaryTemporalOperator().
T	LTLBaseVisitor.visitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Visit a parse tree produced by LTLParser.unaryTemporalOperator().
T	LTLVisitor.visitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Visit a parse tree produced by LTLParser.unaryTemporalOperator().