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

Packages that use LTLParser.IntervalContext

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

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

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

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

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

Modifier and Type	Method	Description
void	LTLBaseListener.enterInterval(LTLParser.IntervalContext ctx)	Enter a parse tree produced by LTLParser.interval().
void	LTLListener.enterInterval(LTLParser.IntervalContext ctx)	Enter a parse tree produced by LTLParser.interval().
void	LTLBaseListener.exitInterval(LTLParser.IntervalContext ctx)	Exit a parse tree produced by LTLParser.interval().
void	LTLListener.exitInterval(LTLParser.IntervalContext ctx)	Exit a parse tree produced by LTLParser.interval().
private TemporalLogic.LTLFormula	LTLVisitorImpl.handleInterval(TemporalOp<String> subFml, LTLParser.IntervalContext ctx)
T	LTLBaseVisitor.visitInterval(LTLParser.IntervalContext ctx)	Visit a parse tree produced by LTLParser.interval().
T	LTLVisitor.visitInterval(LTLParser.IntervalContext ctx)	Visit a parse tree produced by LTLParser.interval().