Package net.maswag.falcaun

Class AdaptiveSTLList.IntervalTL<I>

java.lang.Object

net.maswag.falcaun.AdaptiveSTLList.IntervalTL<I>

Enclosing class:

AdaptiveSTLList<I>

private static class AdaptiveSTLList.IntervalTL<I>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private int	currentFrom
private int	currentTo
private final int	defaultFrom
private final int	defaultTo
Function<TemporalLogic<I>,TemporalLogic<I>>	frame
private boolean	isAssignedCurrent
private boolean	isEventuallyInterval
private final boolean	isSTLEventually
TemporalSub<I>	stl
private final int	timeWindow

Constructor Summary

Constructors

Constructor	Description
IntervalTL(TemporalSub<I> stl, Function<TemporalLogic<I>,TemporalLogic<I>> frame, int timeWindow)

Method Summary

Modifier and Type	Method	Description
TemporalLogic<I>	getOriginalSTL()
TemporalLogic<I>	nextStrengthenedSTL()	strengthen an STL formula by changing an interval
TemporalLogic<I>	strengthInit()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

stl

public TemporalSub<I> stl

frame

public Function<TemporalLogic<I>,TemporalLogic<I>> frame

timeWindow

private final int timeWindow

isSTLEventually

private final boolean isSTLEventually

isAssignedCurrent

private boolean isAssignedCurrent

isEventuallyInterval

private boolean isEventuallyInterval

defaultFrom

private final int defaultFrom

defaultTo

private final int defaultTo

currentFrom

private int currentFrom

currentTo

private int currentTo

Constructor Details

IntervalTL

public IntervalTL(TemporalSub<I> stl,
 Function<TemporalLogic<I>,TemporalLogic<I>> frame,
 int timeWindow)

Method Details

getOriginalSTL

public TemporalLogic<I> getOriginalSTL()

strengthInit

public TemporalLogic<I> strengthInit()

nextStrengthenedSTL

public TemporalLogic<I> nextStrengthenedSTL()

strengthen an STL formula by changing an interval

Returns:

a strengthened STL formula