Uses of Class
net.maswag.falcaun.AbstractAdaptiveSTLUpdater

Packages that use AbstractAdaptiveSTLUpdater

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

Uses of AbstractAdaptiveSTLUpdater in net.maswag.falcaun

Subclasses of AbstractAdaptiveSTLUpdater in net.maswag.falcaun

Modifier and Type	Class	Description
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>