Uses of Class
net.maswag.falcaun.parser.RoSI

Packages that use RoSI

Package	Description
net.maswag.falcaun.parser	FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.

Uses of RoSI in net.maswag.falcaun.parser

Methods in net.maswag.falcaun.parser that return RoSI

Modifier and Type	Method	Description
(package private) RoSI	RoSI.assignMax(RoSI element)	Destructive max, i.e., assign the elementwise max of two RoSIs to this RoSI.
(package private) RoSI	RoSI.assignMin(RoSI element)	Destructive min, i.e., assign the elementwise min of two RoSIs to this RoSI.
(package private) RoSI	RoSI.assignNegate()	Destructive negate, i.e., assign the negated RoSI to this RoSI.
RoSI	LTLAtomic.getRoSI(IOSignal<String> signal)
RoSI	STLInputAtomic.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.
RoSI	STLOutputAtomic.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.
RoSI	TemporalAnd.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	TemporalConst.getRoSI(IOSignal<I> signal)	getRoSI.
RoSI	TemporalEventually.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	TemporalGlobally.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	TemporalImply.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	TemporalLogic.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	TemporalNext.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	TemporalNot.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	TemporalOr.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	TemporalRelease.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	TemporalSub.getRoSI(IOSignal<I> signal)
RoSI	TemporalUntil.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	TemporalEventually.getRoSIRaw(IOSignal<I> signal)	getRoSIRaw.
RoSI	TemporalGlobally.getRoSIRaw(IOSignal<I> signal)	getRoSIRaw.
abstract RoSI	TemporalOp.getRoSIRaw(IOSignal<I> signal)	getRoSIRaw.
RoSI	TemporalRelease.getRoSIRaw(IOSignal<I> signal)
RoSI	TemporalUntil.getRoSIRaw(IOSignal<I> signal)
RoSI	TemporalEventually.getRoSIRawWithLen(IOSignal<I> signal, int length)	getRoSIRawLen.
RoSI	TemporalGlobally.getRoSIRawWithLen(IOSignal<I> signal, int length)	getRoSIRawLen.
abstract RoSI	TemporalOp.getRoSIRawWithLen(IOSignal<I> signal, int length)	getRoSIRawLen.
RoSI	STLAbstractAtomic.getRoSISingle(net.automatalib.word.Word<List<Double>> signal)
(package private) RoSI	RoSI.max(RoSI element)	The elementwise max of two RoSIs.
(package private) RoSI	RoSI.min(RoSI element)	The elementwise min of two RoSIs.
(package private) RoSI	RoSI.negate()	Negate the RoSI.

Methods in net.maswag.falcaun.parser with parameters of type RoSI

Modifier and Type	Method	Description
(package private) RoSI	RoSI.assignMax(RoSI element)	Destructive max, i.e., assign the elementwise max of two RoSIs to this RoSI.
(package private) RoSI	RoSI.assignMin(RoSI element)	Destructive min, i.e., assign the elementwise min of two RoSIs to this RoSI.
(package private) RoSI	RoSI.max(RoSI element)	The elementwise max of two RoSIs.
(package private) RoSI	RoSI.min(RoSI element)	The elementwise min of two RoSIs.