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

Packages that use LTLParser.BinaryOperatorContext

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

Uses of LTLParser.BinaryOperatorContext in net.maswag.falcaun

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

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

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

Modifier and Type	Method	Description
void	LTLBaseListener.enterBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Enter a parse tree produced by LTLParser.binaryOperator().
void	LTLListener.enterBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Enter a parse tree produced by LTLParser.binaryOperator().
void	LTLBaseListener.exitBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Exit a parse tree produced by LTLParser.binaryOperator().
void	LTLListener.exitBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Exit a parse tree produced by LTLParser.binaryOperator().
T	LTLBaseVisitor.visitBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Visit a parse tree produced by LTLParser.binaryOperator().
T	LTLVisitor.visitBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Visit a parse tree produced by LTLParser.binaryOperator().