Uses of Interface
net.maswag.falcaun.IOSignal
Packages that use IOSignal
-
Uses of IOSignal in net.maswag.falcaun
Classes in net.maswag.falcaun that implement IOSignalModifier and TypeClassDescriptionclassclassA signal with continuous output values.classA discrete-time signal with both input and output values.Fields in net.maswag.falcaun with type parameters of type IOSignalMethods in net.maswag.falcaun that return IOSignalModifier and TypeMethodDescriptionExecute the SUL by feeding the entire inputIOContinuousSignal.subWord(int fromIndex) IOContinuousSignal.subWord(int fromIndex, int toIndex) Constructs a sub-signal of the signal.IODiscreteSignal.subWord(int fromIndex) IODiscreteSignal.subWord(int fromIndex, int toIndex) Constructs a sub-signal of the signal.IOSignal.subWord(int fromIndex) Constructs a sub-signal of the signal.IOSignal.subWord(int fromIndex, int toIndex) Constructs a sub-signal of the signal.IOContinuousSignal.suffix(int suffixLen) IODiscreteSignal.suffix(int suffixLen) IOSignal.suffix(int suffixLen) Constructs a suffix of the signal.Methods in net.maswag.falcaun that return types with arguments of type IOSignalModifier and TypeMethodDescriptionIOContinuousSignal.prefixes(boolean longestFirst) IODiscreteSignal.prefixes(boolean longestFirst) IOSignal.prefixes(boolean longestFirst) Returns all the prefix of the signal.IOContinuousSignal.suffixes(boolean longestFirst) IODiscreteSignal.suffixes(boolean longestFirst) IOSignal.suffixes(boolean longestFirst) Constructs all suffixes of the signal.Methods in net.maswag.falcaun with parameters of type IOSignalModifier and TypeMethodDescriptiondefault DoubleEvaluate the formula on the given signal and returns the robustness value.Evaluate the formula on the given signal and returns the robustness value.private voidNumericMembershipOracleCost.cacheInsert(net.automatalib.word.Word<String> abstractInput, IOSignal<List<Double>> concreteSignal, net.automatalib.word.Word<String> abstractOutput) Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.Evaluate the formula on the given signal and returns the RoSI, i.e., the range of the possible robustness values after concatenating a suffix.TemporalEventually.getRoSIRaw(IOSignal<I> signal) getRoSIRaw.TemporalGlobally.getRoSIRaw(IOSignal<I> signal) getRoSIRaw.abstract RoSITemporalOp.getRoSIRaw(IOSignal<I> signal) getRoSIRaw.TemporalRelease.getRoSIRaw(IOSignal<I> signal) TemporalUntil.getRoSIRaw(IOSignal<I> signal) TemporalEventually.getRoSIRawWithLen(IOSignal<I> signal, int length) getRoSIRawLen.TemporalGlobally.getRoSIRawWithLen(IOSignal<I> signal, int length) getRoSIRawLen.abstract RoSITemporalOp.getRoSIRawWithLen(IOSignal<I> signal, int length) getRoSIRawLen.Method parameters in net.maswag.falcaun with type arguments of type IOSignalModifier and TypeMethodDescriptionvoidNumericSULVerifier.addGAEQOracle(Function<IOSignal<List<Double>>, Double> costFunc, int length, int maxTests, ArgParser.GASelectionKind selectionKind, int generationSize, double crossoverProb, double mutationProbability, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String, String, String> ltlOracle) add a Genetic algorithm-based equivalence oraclevoidNumericSULVerifier.addHillClimbingEQOracle(Function<IOSignal<List<Double>>, Double> costFunc, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String, String, String> ltlOracle) addHillClimbingEQOracle.(package private) voidNumericSULVerifier.addMutateSelectEQOracle(Function<IOSignal<List<Double>>, Double> costFunc, int length, Random random, int maxTests, int generationSize, int childrenSize, int changeSize, boolean resetWord) voidNumericSULVerifier.addSAEQOracle(Function<IOSignal<List<Double>>, Double> costFunc, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord, double alpha, de.learnlib.oracle.PropertyOracle.MealyPropertyOracle<String, String, String> ltlOracle) addSAEQOracle.(package private) voidNumericSULVerifier.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 IOSignalModifierConstructorDescription(package private)NumericMembershipOracleCost(NumericSUL sul, NumericSULMapper mapper, Function<IOSignal<List<Double>>, Double> costFunc)