Uses of Interface
net.maswag.falcaun.AdaptiveSTLUpdater

Packages that use AdaptiveSTLUpdater

Package	Description
net.maswag.falcaun	The package for FalCAuN.

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 for potentially adaptive set of STL formulas
class	AdaptiveSTLList<I>	Adaptive updater of STL/LTL formulas
class	StaticSTLList<I>	List of STL/LTL formulas without update
(package private) 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

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(de.learnlib.oracle.MembershipOracle.MealyMembershipOracle<String,String> memOracle, de.learnlib.sul.SUL<String,String> verifiedSystem, AdaptiveSTLUpdater<I> properties, net.automatalib.alphabet.Alphabet<String> inputAlphabet)
	NumericSULVerifier(NumericSUL rawSUL, double signalStep, AdaptiveSTLUpdater<List<Double>> properties, NumericSULMapper mapper)	Constructor for SimulinkVerifier.
	SimulinkSULVerifier(String initScript, List<String> paramName, double signalStep, double simulinkSimulationStep, AdaptiveSTLUpdater<List<Double>> properties, NumericSULMapper mapper)	Constructor for SimulinkVerifier.
(package private)	StopDisprovedEQOracle(de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle, AdaptiveSTLUpdater<C> ltlOracles)