Uses of Class
net.maswag.falcaun.parser.STLParser.BinaryOperatorContext
Packages that use STLParser.BinaryOperatorContext
Package
Description
FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.
-
Uses of STLParser.BinaryOperatorContext in net.maswag.falcaun.parser
Methods in net.maswag.falcaun.parser that return STLParser.BinaryOperatorContextModifier and TypeMethodDescriptionSTLParser.binaryOperator()STLParser.ExprContext.binaryOperator()Methods in net.maswag.falcaun.parser with parameters of type STLParser.BinaryOperatorContextModifier and TypeMethodDescriptionvoidSTLBaseListener.enterBinaryOperator(STLParser.BinaryOperatorContext ctx) Enter a parse tree produced bySTLParser.binaryOperator().voidSTLListener.enterBinaryOperator(STLParser.BinaryOperatorContext ctx) Enter a parse tree produced bySTLParser.binaryOperator().voidSTLBaseListener.exitBinaryOperator(STLParser.BinaryOperatorContext ctx) Exit a parse tree produced bySTLParser.binaryOperator().voidSTLListener.exitBinaryOperator(STLParser.BinaryOperatorContext ctx) Exit a parse tree produced bySTLParser.binaryOperator().STLBaseVisitor.visitBinaryOperator(STLParser.BinaryOperatorContext ctx) Visit a parse tree produced bySTLParser.binaryOperator().STLVisitor.visitBinaryOperator(STLParser.BinaryOperatorContext ctx) Visit a parse tree produced bySTLParser.binaryOperator().