Package net.maswag.falcaun

Class TemporalNext.STLNext

java.lang.Object

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

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

net.maswag.falcaun.TemporalNext.STLNext

All Implemented Interfaces:

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

Enclosing class:

TemporalNext<I>

static class TemporalNext.STLNext
extends TemporalNext<List<Double>>
implements TemporalLogic.STLCost

Nested Class Summary

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

TemporalNext.LTLNext, TemporalNext.STLNext

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
STLNext(TemporalLogic.STLCost subFml, boolean nullPositive)

Method Summary

Methods inherited from class net.maswag.falcaun.TemporalNext

apply, constructSatisfyingAtomicPropositions, getAllAPs, getRoSI, 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

STLNext

STLNext(TemporalLogic.STLCost subFml,
 boolean nullPositive)