Package net.maswag.falcaun

Class TemporalUntil<I>

java.lang.Object

net.maswag.falcaun.AbstractTemporalLogic<I>

net.maswag.falcaun.TemporalUntil<I>

Type Parameters:

I - Type of the input at each step

All Implemented Interfaces:

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

Direct Known Subclasses:

TemporalUntil.LTLUntil, TemporalUntil.STLUntil

public class TemporalUntil<I>
extends AbstractTemporalLogic<I>

STLUntil class.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	TemporalUntil.LTLUntil
(package private) static class	TemporalUntil.STLUntil

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

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Field Summary

Fields

Modifier and Type	Field	Description
private final TemporalLogic<I>	left
private final TemporalLogic<I>	right

Fields inherited from class net.maswag.falcaun.AbstractTemporalLogic

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
TemporalUntil(TemporalLogic<I> left, TemporalLogic<I> right)

Method Summary

Modifier and Type	Method	Description
void	constructSatisfyingAtomicPropositions()
Set<String>	getAllAPs()	Returns the collection of atomic propositions under consideration.
RoSI	getRoSI(IOSignal<I> signal)	Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.
RoSI	getRoSIRaw(IOSignal<I> signal)
String	toAbstractString()	Returns a string representation of the formula in the format of LTSMin.
String	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, getIOType, getSatisfyingAtomicPropositions, isInitialized, isNonTemporal, toLTLString

Field Details

left

private final TemporalLogic<I> left

right

private final TemporalLogic<I> right

Constructor Details

TemporalUntil

TemporalUntil(TemporalLogic<I> left,
 TemporalLogic<I> right)

Method Details

getRoSI

public RoSI getRoSI(IOSignal<I> signal)

Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.

Returns:

a RoSI object representing the range of the possible robustness values after concatenating a suffix.

getRoSIRaw

public RoSI getRoSIRaw(IOSignal<I> signal)

toString

public String toString()

Overrides:

toString in class 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.

toAbstractString

public String toAbstractString()

Returns a string representation of the formula in the format of LTSMin.

Returns:

a String object representing the formula in the format of LTSMin.