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

Packages that use LTLParser.BinaryTemporalOperatorContext

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

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

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