Package net.maswag.falcaun

Class STLOutputAtomic

java.lang.Object

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

net.maswag.falcaun.STLAbstractAtomic

net.maswag.falcaun.STLOutputAtomic

All Implemented Interfaces:

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

public class STLOutputAtomic
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>>	abstractOutputs
private final List<List<Double>>	concreteOutputs
private List<Character>	largest
private List<Map<Character,Double>>	outputMapper

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
STLOutputAtomic(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	setAtomic(List<Map<Character,Double>> outputMapper, List<Character> largest)
(package private) void	setLargest(List<Character> largest)
(package private) void	setOutputMapper(List<Map<Character,Double>> outputMapper)
private void	setOutputMaps()

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

abstractOutputs

private final List<List<Character>> abstractOutputs

concreteOutputs

private final List<List<Double>> concreteOutputs

largest

private List<Character> largest

outputMapper

private List<Map<Character,Double>> outputMapper

Constructor Details

STLOutputAtomic

public STLOutputAtomic(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()

setOutputMaps

private void setOutputMaps()

setAtomic

void setAtomic(List<Map<Character,Double>> outputMapper,
 List<Character> largest)

setOutputMapper

void setOutputMapper(List<Map<Character,Double>> outputMapper)

setLargest

void setLargest(List<Character> largest)

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