Package net.maswag.falcaun

Class TemporalUntil.STLUntil

java.lang.Object

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

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

net.maswag.falcaun.TemporalUntil.STLUntil

All Implemented Interfaces:

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

Enclosing class:

TemporalUntil<I>

static class TemporalUntil.STLUntil
extends TemporalUntil<List<Double>>
implements TemporalLogic.STLCost

Nested Class Summary

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

TemporalUntil.LTLUntil, TemporalUntil.STLUntil

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.AbstractTemporalLogic

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
STLUntil(TemporalLogic.STLCost left, TemporalLogic.STLCost right)

Method Summary

Modifier and Type	Method	Description
TemporalLogic.STLCost	getLeft()
TemporalLogic.STLCost	getRight()

Methods inherited from class net.maswag.falcaun.TemporalUntil

constructSatisfyingAtomicPropositions, getAllAPs, getRoSI, getRoSIRaw, toAbstractString, toString

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

STLUntil

STLUntil(TemporalLogic.STLCost left,
 TemporalLogic.STLCost right)

Method Details

getLeft

public TemporalLogic.STLCost getLeft()

getRight

public TemporalLogic.STLCost getRight()