Package net.maswag.falcaun

Class TemporalEventually.STLEventually

java.lang.Object

net.maswag.falcaun.AbstractTemporalLogic<List<Double>>

net.maswag.falcaun.TemporalOp<List<Double>>

net.maswag.falcaun.TemporalEventually<List<Double>>

net.maswag.falcaun.TemporalEventually.STLEventually

All Implemented Interfaces:

Function<IOSignal<List<Double>>,Double>, TemporalLogic<List<Double>>, TemporalLogic.STLCost

Enclosing class:

TemporalEventually<I>

static class TemporalEventually.STLEventually
extends TemporalEventually<List<Double>>
implements TemporalLogic.STLCost

Nested Class Summary

Nested classes/interfaces inherited from class net.maswag.falcaun.TemporalEventually

TemporalEventually.LTLEventually, TemporalEventually.STLEventually

Nested classes/interfaces inherited from interface net.maswag.falcaun.TemporalLogic

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Field Summary

Fields inherited from class net.maswag.falcaun.TemporalOp

subFml

Fields inherited from class net.maswag.falcaun.AbstractTemporalLogic

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
STLEventually(TemporalLogic.STLCost subFml)

Method Summary

Modifier and Type	Method	Description
TemporalLogic.STLCost	getSubFml()	getSubFml.

Methods inherited from class net.maswag.falcaun.TemporalEventually

getRoSI, getRoSIRaw, getRoSIRawWithLen, toAbstractString, toString

Methods inherited from class net.maswag.falcaun.TemporalOp

constructSatisfyingAtomicPropositions, getAllAPs

Methods inherited from class net.maswag.falcaun.AbstractTemporalLogic

equals, hashCode, makeAbstractStringWithAtomicStrings

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface net.maswag.falcaun.TemporalLogic

apply, constructSatisfyingAtomicPropositions, getAllAPs, getIOType, getRoSI, getSatisfyingAtomicPropositions, isInitialized, isNonTemporal, toAbstractString, toLTLString

Constructor Details

STLEventually

STLEventually(TemporalLogic.STLCost subFml)

Method Details

getSubFml

public TemporalLogic.STLCost getSubFml()

Description copied from class: TemporalEventually

getSubFml.

Overrides:

getSubFml in class TemporalEventually<List<Double>>

Returns:

a TemporalLogic<I> object.