Uses of Class
net.maswag.falcaun.LTLAPs

Packages that use LTLAPs

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 LTLAPs in net.maswag.falcaun

Fields in net.maswag.falcaun declared as LTLAPs

Modifier and Type	Field	Description
private LTLAPs	LTLFormulaBase.aps

Methods in net.maswag.falcaun that return LTLAPs

Modifier and Type	Method	Description
LTLAPs	LTLAPs.copy()	Creates a copy of these atomic propositions.

Methods in net.maswag.falcaun with parameters of type LTLAPs

Modifier and Type	Method	Description
void	LTLAPs.merge(LTLAPs other)	Merges another set of atomic propositions into this one.
void	LTLFormulaBase.setAPsWithPropagation(LTLAPs aps, Runnable propagator)	Sets the atomic propositions and propagates them to subformulas.

Uses of LTLAPs in net.maswag.falcaun.parser

Methods in net.maswag.falcaun.parser that return LTLAPs

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.
LTLAPs	LTLAtomic.getAPs()	Gets the atomic propositions for this formula.
LTLAPs	TemporalAnd.LTLAnd.getAPs()
LTLAPs	TemporalConst.LTLConst.getAPs()
LTLAPs	TemporalEventually.LTLEventually.getAPs()
LTLAPs	TemporalGlobally.LTLGlobally.getAPs()
LTLAPs	TemporalImply.LTLImply.getAPs()
LTLAPs	TemporalLogic.LTLFormula.getAPs()	Gets the atomic propositions for this formula.
LTLAPs	TemporalNext.LTLNext.getAPs()
LTLAPs	TemporalNot.LTLNot.getAPs()
LTLAPs	TemporalOr.LTLOr.getAPs()
LTLAPs	TemporalRelease.LTLRelease.getAPs()
LTLAPs	TemporalSub.LTLSub.getAPs()
LTLAPs	TemporalUntil.LTLUntil.getAPs()

Methods in net.maswag.falcaun.parser with parameters of type LTLAPs

Modifier and Type	Method	Description
void	LTLAtomic.collectAtomicPropositions(LTLAPs aps)
void	TemporalAnd.LTLAnd.collectAtomicPropositions(LTLAPs aps)
void	TemporalConst.LTLConst.collectAtomicPropositions(LTLAPs aps)
void	TemporalEventually.LTLEventually.collectAtomicPropositions(LTLAPs aps)
void	TemporalGlobally.LTLGlobally.collectAtomicPropositions(LTLAPs aps)
void	TemporalImply.LTLImply.collectAtomicPropositions(LTLAPs aps)
void	TemporalLogic.LTLFormula.collectAtomicPropositions(LTLAPs aps)	Collects all atomic propositions from this formula and its subformulas.
void	TemporalNext.LTLNext.collectAtomicPropositions(LTLAPs aps)
void	TemporalNot.LTLNot.collectAtomicPropositions(LTLAPs aps)
void	TemporalOr.LTLOr.collectAtomicPropositions(LTLAPs aps)
void	TemporalRelease.LTLRelease.collectAtomicPropositions(LTLAPs aps)
void	TemporalSub.LTLSub.collectAtomicPropositions(LTLAPs aps)
void	TemporalUntil.LTLUntil.collectAtomicPropositions(LTLAPs aps)
private static void	LTLFormulaHelper.collectAtomicPropositionsRecursive(Object formula, LTLAPs aps)
private static void	LTLFormulaHelper.handleAtomicFormula(LTLAtomic atomic, LTLAPs aps)	Handles atomic formulas by collecting their atomic propositions.
private static void	LTLFormulaHelper.handleBinaryOperator(Object leftFormula, Object rightFormula, LTLAPs aps)	Handles binary operators (operators with two subformulas).
private static void	LTLFormulaHelper.handleMultiaryOperator(Iterable<? extends TemporalLogic<?>> subFormulas, LTLAPs aps)	Handles multiary operators (operators with multiple subformulas).
private static void	LTLFormulaHelper.handleUnaryOperator(Object subFormula, LTLAPs aps)	Handles unary operators (operators with a single subformula).
void	LTLAtomic.setAPs(LTLAPs aps)	Sets the universe of atomic propositions for this formula.
static void	LTLFormulaHelper.setAPs(TemporalLogic.LTLFormula formula, LTLAPs aps)	Sets the atomic propositions on a formula tree and propagates it to all subformulas.
void	TemporalAnd.LTLAnd.setAPs(LTLAPs aps)
void	TemporalConst.LTLConst.setAPs(LTLAPs aps)
void	TemporalEventually.LTLEventually.setAPs(LTLAPs aps)
void	TemporalGlobally.LTLGlobally.setAPs(LTLAPs aps)
void	TemporalImply.LTLImply.setAPs(LTLAPs aps)
void	TemporalLogic.LTLFormula.setAPs(LTLAPs aps)	Sets the universe of atomic propositions for this formula.
void	TemporalNext.LTLNext.setAPs(LTLAPs aps)
void	TemporalNot.LTLNot.setAPs(LTLAPs aps)
void	TemporalOr.LTLOr.setAPs(LTLAPs aps)
void	TemporalRelease.LTLRelease.setAPs(LTLAPs aps)
void	TemporalSub.LTLSub.setAPs(LTLAPs aps)
void	TemporalUntil.LTLUntil.setAPs(LTLAPs aps)