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

Packages that use AdaptiveSTLList.IntervalTL

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

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