Package net.maswag.falcaun

Class TemporalOp<I>

java.lang.Object

net.maswag.falcaun.AbstractTemporalLogic<I>

net.maswag.falcaun.TemporalOp<I>

All Implemented Interfaces:

Function<IOSignal<I>,Double>, TemporalLogic<I>

Direct Known Subclasses:

TemporalEventually, TemporalGlobally

abstract class TemporalOp<I>
extends AbstractTemporalLogic<I>

Nested Class Summary

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

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Field Summary

Fields

Modifier and Type	Field	Description
(package private) TemporalLogic<I>	subFml

Fields inherited from class net.maswag.falcaun.AbstractTemporalLogic

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
TemporalOp(TemporalLogic<I> subFml)

Method Summary

Modifier and Type	Method	Description
void	constructSatisfyingAtomicPropositions()
Set<String>	getAllAPs()	Returns the collection of atomic propositions under consideration.
abstract RoSI	getRoSIRaw(IOSignal<I> signal)	getRoSIRaw.
abstract RoSI	getRoSIRawWithLen(IOSignal<I> signal, int length)	getRoSIRawLen.

Methods inherited from class net.maswag.falcaun.AbstractTemporalLogic

equals, hashCode, makeAbstractStringWithAtomicStrings

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface net.maswag.falcaun.TemporalLogic

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

Field Details

subFml

TemporalLogic<I> subFml

Constructor Details

TemporalOp

TemporalOp(TemporalLogic<I> subFml)

Method Details

getRoSIRaw

public abstract RoSI getRoSIRaw(IOSignal<I> signal)

getRoSIRaw.

Parameters:

signal - a Word object.

Returns:

a RoSI object.

getRoSIRawWithLen

public abstract RoSI getRoSIRawWithLen(IOSignal<I> signal,
 int length)

getRoSIRawLen.

Parameters:

signal - a Word object.

length - the length to compute the RoSI

Returns:

a RoSI object.

constructSatisfyingAtomicPropositions

public void constructSatisfyingAtomicPropositions()

getAllAPs

public Set<String> getAllAPs()

Returns the collection of atomic propositions under consideration. If this formula contains only the input constraints, the atomic propositions are the input constraints. If this formula contains only the output constraints, the atomic propositions are the output constraints. If this formula contains both input and output constraints, the atomic propositions are one of the input and output constraints.