Uses of Interface
net.maswag.falcaun.AdaptiveSTLUpdater

Packages that use AdaptiveSTLUpdater

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.

Uses of AdaptiveSTLUpdater in net.maswag.falcaun

Classes in net.maswag.falcaun that implement AdaptiveSTLUpdater

Modifier and Type	Class	Description
class	AbstractAdaptiveSTLUpdater<I>	Abstract class representing a potentially adaptive set of Signal Temporal Logic (STL) formulas.
class	AdaptiveSTLList<I>	Adaptive updater of STL/LTL formulas
class	StaticSTLList<I>	List of STL/LTL formulas without update
static class	StopDisprovedEQOracle.StaticLTLList<I>

Fields in net.maswag.falcaun declared as AdaptiveSTLUpdater

Modifier and Type	Field	Description
private final AdaptiveSTLUpdater<C>	StopDisprovedEQOracle.ltlOracles
private final AdaptiveSTLUpdater<I>	BlackBoxVerifier.properties	The adaptive STL updater that manages and updates the Signal Temporal Logic (STL) properties to be verified.

Methods in net.maswag.falcaun that return AdaptiveSTLUpdater

Modifier and Type	Method	Description
AdaptiveSTLUpdater<List<Double>>	NumericSULVerifier.getProperties()

Constructors in net.maswag.falcaun with parameters of type AdaptiveSTLUpdater

Modifier	Constructor	Description
	BlackBoxVerifier(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)