toggle menu
moonlight
1.0-SNAPSHOT
jvm
switch theme
search in API
engine
/
io.github.moonlightsuite.moonlight.online.monitoring
/
OnlineTimeMonitor
/
OnlineTimeMonitor
Online
Time
Monitor
public
void
OnlineTimeMonitor
(
Formula
formula
,
SignalDomain
<
R
>
interpretation
,
Map
<
String
,
Function
<
V
,
Box
<
R
>
>
>
atomicPropositions
)