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

Package-level declarations

Types

public interface MfrMonitor<S, T, R> implements MfrSetMonitor<S, T, V>

MfrMonitorAtomic

public class MfrMonitorAtomic<S, T, R> implements MfrMonitor<S, T, R>

MfrMonitorBinary

public class MfrMonitorBinary<S, T, R> implements MfrMonitor<S, T, R>

MfrMonitorFilter

public class MfrMonitorFilter<S, T, V> implements MfrSetMonitor<S, T, V>

public class MfrMonitoring<S, T, R>

Alternative interface to perform (spatial) monitoring.

public class MfrMonitorMap<S, T, V> implements MfrSetMonitor<S, T, V>

MfrMonitorReduce

public class MfrMonitorReduce<S, T, R, V> implements MfrMonitor<S, T, R>

MfrMonitorSince

public class MfrMonitorSince<S, T, R> implements MfrMonitor<S, T, R>

Strategy to interpret the Since temporal logic operator.

public interface MfrSetMonitor<S, T, V>