engine/io.github.moonlightsuite.moonlight.offline.monitoring.spatialtemporal

Package-level declarations

Types

public interface SpatialTemporalMonitor<S, T, R>

Primary SpatialTemporal Monitoring interface It is based on a strategy design pattern, where each kind of operators has a specific strategy implementation.

SpatialTemporalMonitorAtomic

public class SpatialTemporalMonitorAtomic<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret an atomic predicate on the signal of interest.

SpatialTemporalMonitorBinaryOperator

public class SpatialTemporalMonitorBinaryOperator<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret binary logic operators on the signal of interest.

SpatialTemporalMonitorClosure

@Deprecated()

public class ~~SpatialTemporalMonitorClosure~~<E, S, T> implements SpatialTemporalMonitor<S, T, R>

SpatialTemporalMonitorEscape

public class SpatialTemporalMonitorEscape<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret the Escape spatial logic operator.

SpatialTemporalMonitorEverywhere

public class SpatialTemporalMonitorEverywhere<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret the Everywhere spatial logic operator.

SpatialTemporalMonitorFutureOperator

public class SpatialTemporalMonitorFutureOperator<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret temporal logic operators on the future (except Until).

SpatialTemporalMonitorNext

@Deprecated()

public class ~~SpatialTemporalMonitorNext~~<E, S, T> implements SpatialTemporalMonitor<S, T, R>

SpatialTemporalMonitorPastOperator

public class SpatialTemporalMonitorPastOperator<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret temporal logic operators on the past (except Since).

SpatialTemporalMonitorReach

public class SpatialTemporalMonitorReach<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret the Reach spatial logic operator.

SpatialTemporalMonitorSince

public class SpatialTemporalMonitorSince<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret the Since temporal logic operator.

SpatialTemporalMonitorSomewhere

public class SpatialTemporalMonitorSomewhere<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret the Somewhere spatial logic operator.

SpatialTemporalMonitorSurround

@Deprecated()

public class ~~SpatialTemporalMonitorSurround~~<E, S, T> implements SpatialTemporalMonitor<S, T, R>

SpatialTemporalMonitorUnaryOperator

public class SpatialTemporalMonitorUnaryOperator<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret unary logic operators on the signal of interest.

SpatialTemporalMonitorUntil

public class SpatialTemporalMonitorUntil<S, T, R> implements SpatialTemporalMonitor<S, T, R>

Strategy to interpret the Until temporal logic operator.