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

Packages that use LTLParser.BinaryTemporalOperatorContext

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

Uses of LTLParser.BinaryTemporalOperatorContext in net.maswag.falcaun

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

Modifier and Type	Method	Description
LTLParser.BinaryTemporalOperatorContext	LTLParser.BinaryOperatorContext.binaryTemporalOperator()
final LTLParser.BinaryTemporalOperatorContext	LTLParser.binaryTemporalOperator()
LTLParser.BinaryTemporalOperatorContext	LTLParser.ExprContext.binaryTemporalOperator()

Methods in net.maswag.falcaun with parameters of type LTLParser.BinaryTemporalOperatorContext

Modifier and Type	Method	Description
void	LTLBaseListener.enterBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Enter a parse tree produced by LTLParser.binaryTemporalOperator().
void	LTLListener.enterBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Enter a parse tree produced by LTLParser.binaryTemporalOperator().
void	LTLBaseListener.exitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Exit a parse tree produced by LTLParser.binaryTemporalOperator().
void	LTLListener.exitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Exit a parse tree produced by LTLParser.binaryTemporalOperator().
T	LTLBaseVisitor.visitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Visit a parse tree produced by LTLParser.binaryTemporalOperator().
T	LTLVisitor.visitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Visit a parse tree produced by LTLParser.binaryTemporalOperator().