Package net.maswag.falcaun

Class STLInputAtomic

java.lang.Object

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

net.maswag.falcaun.STLAbstractAtomic

net.maswag.falcaun.STLInputAtomic

All Implemented Interfaces:

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

public class STLInputAtomic
extends STLAbstractAtomic

STLAtomic class.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

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

STLAbstractAtomic.Operation

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 List<List<Character>>	abstractInputs
private final List<List<Double>>	concreteInputs
private List<Map<Character,Double>>	inputMapper
private final List<Character>	largest

Fields inherited from class net.maswag.falcaun.STLAbstractAtomic

allAPs, comparator, op, sigIndex

Fields inherited from class net.maswag.falcaun.AbstractTemporalLogic

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
STLInputAtomic(int sigIndex, STLAbstractAtomic.Operation op, double comparator)	Constructor for STLAtomic.

Method Summary

Modifier and Type	Method	Description
void	constructSatisfyingAtomicPropositions()
Set<String>	getAllAPs()	Returns the collection of atomic propositions under consideration.
RoSI	getRoSI(IOSignal<List<Double>> 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.
protected String	getSignalName()
(package private) void	setInputMapper(List<Map<Character,Double>> inputMapper)
private void	setInputMaps()

Methods inherited from class net.maswag.falcaun.STLAbstractAtomic

cartesianProductCharacters, constructAllAPs, constructAtomicStrings, decomposeMap, decomposeMapList, getAllAPs, getRoSISingle, getSatisfyingAtomicPropositions, 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, getIOType, isInitialized, isNonTemporal, toLTLString

Field Details

abstractInputs

private final List<List<Character>> abstractInputs

concreteInputs

private final List<List<Double>> concreteInputs

largest

private final List<Character> largest

inputMapper

private List<Map<Character,Double>> inputMapper

Constructor Details

STLInputAtomic

public STLInputAtomic(int sigIndex,
 STLAbstractAtomic.Operation op,
 double comparator)

Constructor for STLAtomic.

Parameters:

sigIndex - a int.

op - a STLAbstractAtomic.Operation object.

comparator - a double.

Method Details

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.

constructSatisfyingAtomicPropositions

public void constructSatisfyingAtomicPropositions()

setInputMaps

private void setInputMaps()

setInputMapper

void setInputMapper(List<Map<Character,Double>> inputMapper)

getRoSI

public RoSI getRoSI(IOSignal<List<Double>> 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.

getSignalName

protected String getSignalName()

Specified by:

getSignalName in class STLAbstractAtomic