Uses of Class
net.maswag.falcaun.parser.STLParser.IntervalContext

Packages that use STLParser.IntervalContext

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

Uses of STLParser.IntervalContext in net.maswag.falcaun.parser

Methods in net.maswag.falcaun.parser that return STLParser.IntervalContext

Modifier and Type	Method	Description
STLParser.IntervalContext	STLParser.ExprContext.interval()
final STLParser.IntervalContext	STLParser.interval()

Methods in net.maswag.falcaun.parser with parameters of type STLParser.IntervalContext

Modifier and Type	Method	Description
void	STLBaseListener.enterInterval(STLParser.IntervalContext ctx)	Enter a parse tree produced by STLParser.interval().
void	STLListener.enterInterval(STLParser.IntervalContext ctx)	Enter a parse tree produced by STLParser.interval().
void	STLBaseListener.exitInterval(STLParser.IntervalContext ctx)	Exit a parse tree produced by STLParser.interval().
void	STLListener.exitInterval(STLParser.IntervalContext ctx)	Exit a parse tree produced by STLParser.interval().
private TemporalLogic.STLCost	STLVisitorImpl.handleInterval(TemporalOp<List<Double>> subFml, STLParser.IntervalContext ctx)
T	STLBaseVisitor.visitInterval(STLParser.IntervalContext ctx)	Visit a parse tree produced by STLParser.interval().
T	STLVisitor.visitInterval(STLParser.IntervalContext ctx)	Visit a parse tree produced by STLParser.interval().