Uses of Class
net.maswag.falcaun.IOSignalPiece

Packages that use IOSignalPiece

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
net.maswag.falcaun.parser	FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.

Uses of IOSignalPiece in net.maswag.falcaun

Subclasses of IOSignalPiece in net.maswag.falcaun

Modifier and Type	Class	Description
class	ExtendedIOSignalPiece<I>	A pair of input and output signals at one time step potentially with some previous output signals.

Fields in net.maswag.falcaun with type parameters of type IOSignalPiece

Modifier and Type	Field	Description
private final SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>	PreComposedSignalDiscretizer.preMapper
private final SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>	PreComposedSignalDiscretizer.preMapper
private final List<Function<IOSignalPiece<List<Double>>,Double>>	SimpleSignalMapper.sigMap
protected SUL<List<Double>,IOSignalPiece<List<Double>>>	NumericSULVerifier.simulink

Methods in net.maswag.falcaun that return IOSignalPiece

Modifier and Type	Method	Description
IOSignalPiece<List<Double>>	SignalDeriver.mapOutput(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to an IOSignalPiece with derived signals.

Methods in net.maswag.falcaun that return types with arguments of type IOSignalPiece

Modifier and Type	Method	Description
(package private) static Function<IOSignalPiece<List<Double>>,Double>	SimpleSignalMapper.lineParse(String line)
private static Function<IOSignalPiece<List<Double>>,Double>	SimpleSignalMapper.parseSignalMapperImpl(String line, SignalMapperVisitor<Function<IOSignalPiece<List<Double>>,Double>> visitor)
Stream<IOSignalPiece<I>>	IOContinuousSignal.stream()	Constructs a stream of ExtendedIOSignalPiece instances that hold an input signal, an output signal, and the continuous output segment from after the previous input up to and including this input.
Stream<IOSignalPiece<I>>	IODiscreteSignal.stream()
Stream<IOSignalPiece<I>>	IOSignal.stream()	Returns a stream of the signal.

Methods in net.maswag.falcaun with parameters of type IOSignalPiece

Modifier and Type	Method	Description
double	ExtendedSignalMapper.apply(int index, IOSignalPiece<List<Double>> concreteSignal)	Applies the signal mapper to the specified index and concrete signal.
double	SignalMapper.apply(int index, IOSignalPiece<List<Double>> concreteSignal)	Given concreteSignal, construct index-th signal
double	SimpleSignalMapper.apply(int index, IOSignalPiece<List<Double>> concreteSignal)
List<Double>	PostComposedSignalDiscretizer.mapConcrete(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to a list of concrete output values.
List<Double>	PreComposedSignalDiscretizer.mapConcrete(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to a list of concrete output values.
default List<Double>	SignalDiscretizer.mapConcrete(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to a list of concrete output values.
String	NumericSULMapperWithSGA.mapOutput(IOSignalPiece<List<Double>> concreteIO)
String	PostComposedSignalDiscretizer.mapOutput(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to an abstract output string.
String	PreComposedSignalDiscretizer.mapOutput(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to an abstract output string.
String	SignalAdapter.mapOutput(IOSignalPiece<List<Double>> concreteIO)
IOSignalPiece<List<Double>>	SignalDeriver.mapOutput(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to an IOSignalPiece with derived signals.
String	SignalDiscretizer.mapOutput(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to an abstract output string.

Method parameters in net.maswag.falcaun with type arguments of type IOSignalPiece

Modifier and Type	Method	Description
private static Function<IOSignalPiece<List<Double>>,Double>	SimpleSignalMapper.parseSignalMapperImpl(String line, SignalMapperVisitor<Function<IOSignalPiece<List<Double>>,Double>> visitor)
default ComponentWiseSignalDiscretizer	ComponentWiseSignalDiscretizer.preCompose(@NonNull SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>> preMapper)	SignalDiscretizer pre-composed with an SULMapper.
default ComponentWiseSignalDiscretizer	ComponentWiseSignalDiscretizer.preCompose(@NonNull SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>> preMapper)	SignalDiscretizer pre-composed with an SULMapper.

Constructor parameters in net.maswag.falcaun with type arguments of type IOSignalPiece

Modifier	Constructor	Description
	PreComposedSignalDiscretizer(@NonNull ComponentWiseSignalDiscretizer discretizer, @NonNull SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>> preMapper)	Constructor for PreComposedSignalDiscretizer.
	PreComposedSignalDiscretizer(@NonNull ComponentWiseSignalDiscretizer discretizer, @NonNull SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>> preMapper)	Constructor for PreComposedSignalDiscretizer.

Uses of IOSignalPiece in net.maswag.falcaun.parser

Methods in net.maswag.falcaun.parser that return types with arguments of type IOSignalPiece

Modifier and Type	Method	Description
Function<IOSignalPiece<List<Double>>,Double>	SignalMapperVisitorImpl.visitAtomic(SignalMapperParser.AtomicContext ctx)	Visit a parse tree produced by SignalMapperParser.atomic().
Function<IOSignalPiece<List<Double>>,Double>	SignalMapperVisitorImpl.visitExpr(SignalMapperParser.ExprContext ctx)	Visit a parse tree produced by SignalMapperParser.expr().