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

Packages that use LTLParser.UnaryOperatorContext

Package	Description
net.maswag.falcaun	The package for FalCAuN.

Uses of LTLParser.UnaryOperatorContext in net.maswag.falcaun

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

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

Methods in net.maswag.falcaun 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().