toggle menu
moonlight
1.0-SNAPSHOT
jvm
switch theme
search in API
engine
/
io.github.moonlightsuite.moonlight.statistics
/
StatisticalModelChecker
/
getStats
get
Stats
public
Array
<
Array
<
SignalStatistics.Statistics
>
>
getStats
(
)
Return
The results collected, following a
compute
execution