Uses of Interface
net.maswag.falcaun.TemporalLogic.LTLFormula

Packages that use TemporalLogic.LTLFormula

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

Uses of TemporalLogic.LTLFormula in net.maswag.falcaun

Classes in net.maswag.falcaun that implement TemporalLogic.LTLFormula

Modifier and Type	Class	Description
class	LTLAtomic	The atomic propositions in LTL formulas
(package private) static class	TemporalAnd.LTLAnd
(package private) static class	TemporalEventually.LTLEventually
(package private) static class	TemporalGlobally.LTLGlobally
(package private) static class	TemporalImply.LTLImply
(package private) static class	TemporalNext.LTLNext
(package private) static class	TemporalNot.LTLNot
(package private) static class	TemporalOr.LTLOr
(package private) static class	TemporalRelease.LTLRelease
(package private) static class	TemporalSub.LTLSub
(package private) static class	TemporalUntil.LTLUntil

Methods in net.maswag.falcaun that return TemporalLogic.LTLFormula

Modifier and Type	Method	Description
private TemporalLogic.LTLFormula	LTLVisitorImpl.handleInterval(TemporalOp<String> subFml, LTLParser.IntervalContext ctx)
TemporalLogic.LTLFormula	LTLFactory.parse(String formula)	parse an LTL formula
TemporalLogic.LTLFormula	LTLVisitorImpl.visitExpr(LTLParser.ExprContext ctx)	Visit a parse tree produced by LTLParser.expr().

Constructors in net.maswag.falcaun with parameters of type TemporalLogic.LTLFormula

Modifier	Constructor	Description
(package private)	LTLAnd(TemporalLogic.LTLFormula subFml1, TemporalLogic.LTLFormula subFml2)
(package private)	LTLEventually(TemporalLogic.LTLFormula subFml)
(package private)	LTLGlobally(TemporalLogic.LTLFormula subFml)
(package private)	LTLImply(TemporalLogic.LTLFormula subFml1, TemporalLogic.LTLFormula subFml2)
(package private)	LTLNext(TemporalLogic.LTLFormula subFml, boolean nullPositive)
(package private)	LTLNot(TemporalLogic.LTLFormula subFml)
(package private)	LTLRelease(TemporalLogic.LTLFormula left, TemporalLogic.LTLFormula right)