Package net.maswag.falcaun

Class LTLAtomic

java.lang.Object

net.maswag.falcaun.AbstractTemporalLogic<String>

net.maswag.falcaun.LTLAtomic

All Implemented Interfaces:

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

public class LTLAtomic
extends AbstractTemporalLogic<String>
implements TemporalLogic.LTLFormula

The atomic propositions in LTL formulas

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
private final Optional<String>	inputString
private final Optional<String>	outputString

Fields inherited from class net.maswag.falcaun.AbstractTemporalLogic

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
LTLAtomic(Optional<String> inputString, Optional<String> outputString)

Method Summary

Modifier and Type	Method	Description
void	constructSatisfyingAtomicPropositions()
Set<String>	getAllAPs()	Returns the collection of atomic propositions under consideration.
RoSI	getRoSI(IOSignal<String> 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.
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

inputString

private final Optional<String> inputString

outputString

private final Optional<String> outputString

Constructor Details

LTLAtomic

public LTLAtomic(Optional<String> inputString,
 Optional<String> outputString)

Method Details

getAllAPs

public Set<String> getAllAPs()

Description copied from interface: TemporalLogic

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.

Specified by:

getAllAPs in interface TemporalLogic<String>

constructSatisfyingAtomicPropositions

public void constructSatisfyingAtomicPropositions()

Specified by:

constructSatisfyingAtomicPropositions in interface TemporalLogic<String>

toAbstractString

public String toAbstractString()

Description copied from interface: TemporalLogic

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

Specified by:

toAbstractString in interface TemporalLogic<String>

Returns:

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

toString

public String toString()

Overrides:

toString in class Object

getRoSI

public RoSI getRoSI(IOSignal<String> signal)

Description copied from interface: TemporalLogic

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

Specified by:

getRoSI in interface TemporalLogic<String>

Returns:

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