Uses of Class
net.maswag.falcaun.LTLFormulaBase

Packages that use LTLFormulaBase

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

Uses of LTLFormulaBase in net.maswag.falcaun.parser

Fields in net.maswag.falcaun.parser declared as LTLFormulaBase

Modifier and Type	Field	Description
private final LTLFormulaBase	LTLAtomic.formulaBase
private final LTLFormulaBase	TemporalAnd.LTLAnd.formulaBase
private final LTLFormulaBase	TemporalConst.LTLConst.formulaBase
private final LTLFormulaBase	TemporalEventually.LTLEventually.formulaBase
private final LTLFormulaBase	TemporalGlobally.LTLGlobally.formulaBase
private final LTLFormulaBase	TemporalImply.LTLImply.formulaBase
private final LTLFormulaBase	TemporalNext.LTLNext.formulaBase
private final LTLFormulaBase	TemporalNot.LTLNot.formulaBase
private final LTLFormulaBase	TemporalOr.LTLOr.formulaBase
private final LTLFormulaBase	TemporalRelease.LTLRelease.formulaBase
private final LTLFormulaBase	TemporalSub.LTLSub.formulaBase
private final LTLFormulaBase	TemporalUntil.LTLUntil.formulaBase