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

Packages that use LTLParser.IntervalContext

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

Uses of LTLParser.IntervalContext in net.maswag.falcaun

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

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

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