Uses of Class
net.maswag.falcaun.parser.LTLAtomic

Packages that use LTLAtomic

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

Uses of LTLAtomic in net.maswag.falcaun.parser

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

Modifier and Type	Method	Description
private static void	LTLFormulaHelper.handleAtomicFormula(LTLAtomic atomic, LTLAPs aps)	Handles atomic formulas by collecting their atomic propositions.