Package net.maswag.falcaun

Class TemporalGlobally.LTLGlobally

java.lang.Object

net.maswag.falcaun.AbstractTemporalLogic<String>

net.maswag.falcaun.TemporalOp<String>

net.maswag.falcaun.TemporalGlobally<String>

net.maswag.falcaun.TemporalGlobally.LTLGlobally

All Implemented Interfaces:

Function<IOSignal<String>,Double>, TemporalLogic<String>, TemporalLogic.LTLFormula

Enclosing class:

TemporalGlobally<I>

static class TemporalGlobally.LTLGlobally
extends TemporalGlobally<String>
implements TemporalLogic.LTLFormula

Nested Class Summary

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

TemporalGlobally.LTLGlobally, TemporalGlobally.STLGlobally

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
LTLGlobally(TemporalLogic.LTLFormula subFml)

Method Summary

Methods inherited from class net.maswag.falcaun.TemporalGlobally

getRoSI, getRoSIRaw, getRoSIRawWithLen, getSubFml, 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

LTLGlobally

LTLGlobally(TemporalLogic.LTLFormula subFml)