Package net.maswag.falcaun.parser

Class TemporalGlobally<I>

java.lang.Object

net.maswag.falcaun.parser.AbstractTemporalLogic<I>

net.maswag.falcaun.parser.TemporalOp<I>

net.maswag.falcaun.parser.TemporalGlobally<I>

Type Parameters:

I - Type of the input at each step

All Implemented Interfaces:

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

Direct Known Subclasses:

TemporalGlobally.LTLGlobally, TemporalGlobally.STLGlobally

public class TemporalGlobally<I>
extends TemporalOp<I>

TemporalGlobally class.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	TemporalGlobally.LTLGlobally
static class	TemporalGlobally.STLGlobally

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

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Field Summary

Fields inherited from class net.maswag.falcaun.parser.TemporalOp

subFml

Fields inherited from class net.maswag.falcaun.parser.AbstractTemporalLogic

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
TemporalGlobally(TemporalLogic<I> subFml)

Method Summary

Modifier and Type	Method	Description
List<TemporalLogic<I>>	getAllConjunctions()
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)	getRoSIRaw.
RoSI	getRoSIRawWithLen(IOSignal<I> signal, int length)	getRoSIRawLen.
TemporalLogic<I>	getSubFml()	Get the sub-formula
String	toAbstractLTLString(Map<String,String> mapper)
String	toAbstractString()	Returns a string representation of the formula in the format of LTSMin.
TemporalLogic<I>	toDisjunctiveForm()
TemporalLogic<I>	toNnf(boolean negate)
String	toOwlString()
String	toString()

Methods inherited from class net.maswag.falcaun.parser.TemporalOp

constructSatisfyingAtomicPropositions, getAllAPs

Methods inherited from class net.maswag.falcaun.parser.AbstractTemporalLogic

equals, getSatisfyingAtomicPropositions, hashCode, makeAbstractStringWithAtomicStrings, 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.parser.TemporalLogic

apply, getIOType, isInitialized, isNonTemporal, toLTLString

Constructor Details

TemporalGlobally

public TemporalGlobally(TemporalLogic<I> subFml)

Method Details

getSubFml

public TemporalLogic<I> getSubFml()

Get the sub-formula

Returns:

the sub-formula

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.

Parameters:

signal - The input-output signal to evaluate the formula on

Returns:

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

getRoSIRaw

public RoSI getRoSIRaw(IOSignal<I> signal)

getRoSIRaw.

Specified by:

getRoSIRaw in class TemporalOp<I>

Parameters:

signal - a Word object.

Returns:

a RoSI object.

getRoSIRawWithLen

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

getRoSIRawLen.

Specified by:

getRoSIRawWithLen in class TemporalOp<I>

Parameters:

signal - a Word object.

length - the length to compute the RoSI

Returns:

a RoSI object.

toString

public String toString()

Overrides:

toString in class Object

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.

toAbstractLTLString

public String toAbstractLTLString(Map<String,String> mapper)

toOwlString

public String toOwlString()

toNnf

public TemporalLogic<I> toNnf(boolean negate)

toDisjunctiveForm

public TemporalLogic<I> toDisjunctiveForm()

getAllConjunctions

public List<TemporalLogic<I>> getAllConjunctions()