Uses of Class
net.maswag.falcaun.TemporalOp

Packages that use TemporalOp

Package	Description
net.maswag.falcaun	The package for FalCAuN.

Uses of TemporalOp in net.maswag.falcaun

Subclasses of TemporalOp in net.maswag.falcaun

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>	STLGlobal class.
(package private) static class	TemporalGlobally.LTLGlobally
(package private) static class	TemporalGlobally.STLGlobally

Fields in net.maswag.falcaun declared as TemporalOp

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

Methods in net.maswag.falcaun 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 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)
(package private)	TemporalSub(TemporalOp<I> subFml, int from, int to)