Uses of Class
net.maswag.falcaun.AdaptiveSTLList.IntervalTL

Packages that use AdaptiveSTLList.IntervalTL

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

Uses of AdaptiveSTLList.IntervalTL in net.maswag.falcaun

Fields in net.maswag.falcaun with type parameters of type AdaptiveSTLList.IntervalTL

Modifier and Type	Field	Description
private final List<List<AdaptiveSTLList.IntervalTL<I>>>	AdaptiveSTLList.intervalSTLProperties

Methods in net.maswag.falcaun that return types with arguments of type AdaptiveSTLList.IntervalTL

Modifier and Type	Method	Description
private List<AdaptiveSTLList.IntervalTL<I>>	AdaptiveSTLList.findIntervalSTL(TemporalLogic<I> stl, Function<TemporalLogic<I>,TemporalLogic<I>> frame)	find intervals that can be strengthened
private List<AdaptiveSTLList.IntervalTL<I>>	AdaptiveSTLList.initializeIntervalSTLproperties(TemporalLogic<I> targetSTL)	list up intervals of temporal operators in target STL formulas that can be strengthened