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

Packages that use STLParser.IntervalContext

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

Uses of STLParser.IntervalContext in net.maswag.falcaun

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

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

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