Uses of Interface
net.maswag.falcaun.IOSignal

Packages that use IOSignal

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 IOSignal in net.maswag.falcaun

Classes in net.maswag.falcaun that implement IOSignal

Modifier and Type	Class	Description
class	AbstractIOSignal<I>	Abstract class representing an Input-Output (IO) signal.
class	IOContinuousSignal<I>	A signal with continuous output values.
class	IODiscreteSignal<I>	A discrete-time signal with both input and output values.

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

Modifier and Type	Field	Description
private Function<IOSignal<List<Double>>,Double>	NumericMembershipOracleCost.costFunc

Methods in net.maswag.falcaun that return IOSignal

Modifier and Type	Method	Description
default IOSignal<List<Double>>	NumericSUL.execute(net.automatalib.word.Word<List<Double>> inputSignal)	Execute the SUL by feeding the entire input
IOSignal<I>	IOContinuousSignal.subWord(int fromIndex)
IOSignal<I>	IOContinuousSignal.subWord(int fromIndex, int toIndex)	Constructs a sub-signal of the signal.
IOSignal<I>	IODiscreteSignal.subWord(int fromIndex)
IOSignal<I>	IODiscreteSignal.subWord(int fromIndex, int toIndex)	Constructs a sub-signal of the signal.
IOSignal<I>	IOSignal.subWord(int fromIndex)	Constructs a sub-signal of the signal.
IOSignal<I>	IOSignal.subWord(int fromIndex, int toIndex)	Constructs a sub-signal of the signal.
IOSignal<I>	IOContinuousSignal.suffix(int suffixLen)
IOSignal<I>	IODiscreteSignal.suffix(int suffixLen)
IOSignal<I>	IOSignal.suffix(int suffixLen)	Constructs a suffix of the signal.

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

Modifier and Type	Method	Description
List<IOSignal<I>>	IOContinuousSignal.prefixes(boolean longestFirst)
List<IOSignal<I>>	IODiscreteSignal.prefixes(boolean longestFirst)
List<IOSignal<I>>	IOSignal.prefixes(boolean longestFirst)	Returns all the prefix of the signal.
List<IOSignal<I>>	IOContinuousSignal.suffixes(boolean longestFirst)
List<IOSignal<I>>	IODiscreteSignal.suffixes(boolean longestFirst)
List<IOSignal<I>>	IOSignal.suffixes(boolean longestFirst)	Constructs all suffixes of the signal.

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

Modifier and Type	Method	Description
private void	NumericMembershipOracleCost.cacheInsert(net.automatalib.word.Word<String> abstractInput, IOSignal<List<Double>> concreteSignal, net.automatalib.word.Word<String> abstractOutput)

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

Modifier and Type	Method	Description
void	NumericSULVerifier.addGAEQOracle(Function<IOSignal<List<Double>>,Double> costFunc, int length, int maxTests, GASelectionKind selectionKind, int generationSize, double crossoverProb, double mutationProbability, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)	add a Genetic algorithm-based equivalence oracle
void	NumericSULVerifier.addHillClimbingEQOracle(Function<IOSignal<List<Double>>,Double> costFunc, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)	addHillClimbingEQOracle.
(package private) void	NumericSULVerifier.addMutateSelectEQOracle(Function<IOSignal<List<Double>>,Double> costFunc, int length, Random random, int maxTests, int generationSize, int childrenSize, int changeSize, boolean resetWord)
void	NumericSULVerifier.addSAEQOracle(Function<IOSignal<List<Double>>,Double> costFunc, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, double alpha, PropertyOracle.MealyPropertyOracle<String,String,String> ltlOracle)	addSAEQOracle.
(package private) void	NumericSULVerifier.addSimulinkEqOracle(Function<IOSignal<List<Double>>,Double> costFunc, Function<NumericMembershipOracleCost,? extends EvaluationCountable.MealyEquivalenceOracle<String,String>> constructor)

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

Modifier	Constructor	Description
(package private)	NumericMembershipOracleCost(NumericSUL sul, SignalDiscretizer mapper, Function<IOSignal<List<Double>>,Double> costFunc)

Uses of IOSignal in net.maswag.falcaun.parser

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

Modifier and Type	Method	Description
default Double	TemporalLogic.apply(IOSignal<I> signal)	Evaluate the formula on the given signal and returns the robustness value.
Double	TemporalNext.apply(IOSignal<I> signal)	Evaluate the formula on the given signal and returns the robustness value.
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.