engine/io.github.moonlightsuite.moonlight.statistics/SignalStatistics

SignalStatistics

public class SignalStatistics<T extends SpatialTemporalSignal<? extends Object>>

SignalStatistics is an auxiliary class that is used by the StatisticalModelChecker to record stats about the monitoring process and then return them in some readable way. The stats data is recorded by track trace by trace, but actual stats are computed lazily (i.e. only on call of the analyze method). Statistics is the Data Transfer Object (DTO) devoted to showing the results. TODO: Generalize so that it can accept both SpatialTemporalSignals and TemporalSignals