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

Packages that use LTLParser.UnaryTemporalOperatorContext

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

Uses of LTLParser.UnaryTemporalOperatorContext in net.maswag.falcaun

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