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

Packages that use TemporalOp

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

Uses of TemporalOp in net.maswag.falcaun.parser

Subclasses of TemporalOp in net.maswag.falcaun.parser

Modifier and Type	Class	Description
class	TemporalEventually<I>	STLEventually class.
(package private) static class	TemporalEventually.LTLEventually
(package private) static class	TemporalEventually.STLEventually
class	TemporalGlobally<I>	TemporalGlobally class.
(package private) static class	TemporalGlobally.LTLGlobally
static class	TemporalGlobally.STLGlobally

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

Modifier and Type	Field	Description
private final TemporalOp<I>	TemporalSub.subFml

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

Modifier and Type	Method	Description
private TemporalLogic.LTLFormula	LTLVisitorImpl.handleInterval(TemporalOp<String> subFml, LTLParser.IntervalContext ctx)
private TemporalLogic.STLCost	STLVisitorImpl.handleInterval(TemporalOp<List<Double>> subFml, STLParser.IntervalContext ctx)

Constructors in net.maswag.falcaun.parser with parameters of type TemporalOp

Modifier	Constructor	Description
(package private)	LTLSub(TemporalOp<String> subFml, int from, int to)
(package private)	STLSub(TemporalOp<List<Double>> subFml, int from, int to)
	TemporalSub(TemporalOp<I> subFml, int from, int to)