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

Packages that use LTLParser.UnaryOperatorContext

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

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

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

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

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

Modifier and Type	Method	Description
void	LTLBaseListener.enterUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Enter a parse tree produced by LTLParser.unaryOperator().
void	LTLListener.enterUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Enter a parse tree produced by LTLParser.unaryOperator().
void	LTLBaseListener.exitUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Exit a parse tree produced by LTLParser.unaryOperator().
void	LTLListener.exitUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Exit a parse tree produced by LTLParser.unaryOperator().
T	LTLBaseVisitor.visitUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Visit a parse tree produced by LTLParser.unaryOperator().
T	LTLVisitor.visitUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Visit a parse tree produced by LTLParser.unaryOperator().