Uses of Interface
net.maswag.falcaun.AdaptiveSTLUpdater
Packages that use AdaptiveSTLUpdater
Package
Description
FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
-
Uses of AdaptiveSTLUpdater in net.maswag.falcaun
Classes in net.maswag.falcaun that implement AdaptiveSTLUpdaterModifier and TypeClassDescriptionclassAbstract class representing a potentially adaptive set of Signal Temporal Logic (STL) formulas.classAdaptive updater of STL/LTL formulasclassList of STL/LTL formulas without updatestatic classFields in net.maswag.falcaun declared as AdaptiveSTLUpdaterModifier and TypeFieldDescriptionprivate final AdaptiveSTLUpdater<C>StopDisprovedEQOracle.ltlOraclesprivate final AdaptiveSTLUpdater<I>BlackBoxVerifier.propertiesThe adaptive STL updater that manages and updates the Signal Temporal Logic (STL) properties to be verified.Methods in net.maswag.falcaun that return AdaptiveSTLUpdaterConstructors in net.maswag.falcaun with parameters of type AdaptiveSTLUpdaterModifierConstructorDescriptionBlackBoxVerifier(MembershipOracle.MealyMembershipOracle<String, String> memOracle, SUL<String, String> verifiedSystem, AdaptiveSTLUpdater<I> properties, net.automatalib.alphabet.Alphabet<String> inputAlphabet) NumericSULVerifier(NumericSUL rawSUL, double signalStep, AdaptiveSTLUpdater<List<Double>> properties, SignalDiscretizer signalDiscretizer) Constructor for SimulinkVerifier.(package private)StopDisprovedEQOracle(EquivalenceOracle.MealyEquivalenceOracle<I, O> eqOracle, AdaptiveSTLUpdater<C> ltlOracles)