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

Packages that use TemporalLogic.LTLFormula

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
net.maswag.falcaun.parser	FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.

Uses of TemporalLogic.LTLFormula in net.maswag.falcaun

Method parameters in net.maswag.falcaun with type arguments of type TemporalLogic.LTLFormula

Modifier and Type	Method	Description
private void	SGAMapper.createDELAs(List<TemporalLogic.LTLFormula> formulaList, net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma, boolean partial)

Constructor parameters in net.maswag.falcaun with type arguments of type TemporalLogic.LTLFormula

Modifier	Constructor	Description
	SGAMapper(List<TemporalLogic.LTLFormula> formulaList, net.automatalib.alphabet.Alphabet<String> sigma, net.automatalib.alphabet.Alphabet<String> gamma, boolean partial)

Uses of TemporalLogic.LTLFormula in net.maswag.falcaun.parser

Classes in net.maswag.falcaun.parser 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	TemporalConst.LTLConst
(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.parser 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
static TemporalLogic.LTLFormula	LTLFormulaHelper.prepareFormula(TemporalLogic.LTLFormula formula)	Prepares a formula for use by collecting its atomic propositions and setting them.
TemporalLogic.LTLFormula	LTLAtomic.toDisjunctiveForm()
TemporalLogic.LTLFormula	LTLAtomic.toNnf(boolean negate)
TemporalLogic.LTLFormula	LTLVisitorImpl.visitExpr(LTLParser.ExprContext ctx)	Visit a parse tree produced by LTLParser.expr().

Methods in net.maswag.falcaun.parser that return types with arguments of type TemporalLogic.LTLFormula

Modifier and Type	Method	Description
static List<TemporalLogic.LTLFormula>	LTLFormulaHelper.convertToLTLFormulas(List<TemporalLogic.STLCost> stlFormulas)	Converts a list of STL formulas to prepared LTL formulas.

Methods in net.maswag.falcaun.parser with parameters of type TemporalLogic.LTLFormula

Modifier and Type	Method	Description
static LTLAPs	LTLFormulaHelper.collectAPs(TemporalLogic.LTLFormula formula)	Collects all atomic propositions from a formula tree and creates an APs collection.
static TemporalLogic.LTLFormula	LTLFormulaHelper.prepareFormula(TemporalLogic.LTLFormula formula)	Prepares a formula for use by collecting its atomic propositions and setting them.
static void	LTLFormulaHelper.setAPs(TemporalLogic.LTLFormula formula, LTLAPs aps)	Sets the atomic propositions on a formula tree and propagates it to all subformulas.

Constructors in net.maswag.falcaun.parser 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)