toggle menu
moonlight
1.0-SNAPSHOT
jvm
switch theme
engine
io.
github.
moonlightsuite.
moonlight
Moon
Light
Script
Moonlight
Script
Factory
Moon
Light
Spatial
Temporal
Script
Moon
Light
Temporal
Script
Spatial
Temporal
Monitor
Definition
Spatial
Temporal
Monitor
Producer
Spatial
Temporal
Script
Component
Temporal
Monitor
Definition
Temporal
Monitor
Producer
Temporal
Script
Component
Temporal
Script
Component
Producer
io.
github.
moonlightsuite.
moonlight.
core.
algorithms
Escape
Algorithm
Reach
Algorithm
Spatial
Algorithms
io.
github.
moonlightsuite.
moonlight.
core.
base
Box
Moon
Light
Record
Pair
Semiring
Triple
Tuple
Tuple
Type
io.
github.
moonlightsuite.
moonlight.
core.
formula
Binary
Formula
Formula
Formula
Visitor
Interval
Spatial
Formula
Temporal
Formula
Unary
Formula
io.
github.
moonlightsuite.
moonlight.
core.
io
Data
Handler
Serializable
Data
io.
github.
moonlightsuite.
moonlight.
core.
signal
Sample
Signal
Domain
Space
Time
Signal
Time
Signal
io.
github.
moonlightsuite.
moonlight.
core.
space
Default
Distance
Structure
Distance
Domain
Distance
Structure
Location
Service
Location
Service
Loader
Space
Iterator
Spatial
Model
io.
github.
moonlightsuite.
moonlight.
domain
Boolean
Domain
Box
Domain
Double
Domain
Integer
Domain
List
Domain
Pair
Distance
Pair
Semiring
Tropical
Semiring
Tuple
Domain
io.
github.
moonlightsuite.
moonlight.
formula
Atomic
Formula
Parameters
Parametric
Expression
Signal
Expression
io.
github.
moonlightsuite.
moonlight.
formula.
classic
And
Formula
Negation
Formula
Or
Formula
io.
github.
moonlightsuite.
moonlight.
formula.
mfr
Binary
Formula
Filter
Formula
Map
Formula
Reduce
Formula
Set
Formula
io.
github.
moonlightsuite.
moonlight.
formula.
spatial
Escape
Formula
Everywhere
Formula
Reach
Formula
Somewhere
Formula
io.
github.
moonlightsuite.
moonlight.
formula.
temporal
Eventually
Formula
Globally
Formula
Historically
Formula
Once
Formula
Since
Formula
Until
Formula
io.
github.
moonlightsuite.
moonlight.
io
Abstract
File
By
Row
Reader
Row
Csv
Location
Service
Reader
Csv
Spatial
Temporal
Signal
Reader
Csv
Spatial
Temporal
Signal
Writer
Csv
Temporal
Signal
Reader
Csv
Temporal
Signal
Writer
Data
Reader
Data
Writer
Formula
JSon
IO
Formula
Deserialiser
Formula
Serialiser
Formula
To
Breach
Formula
To
Taliro
Formula
Type
ATOMIC
AND
NOT
OR
EVENTUALLY
GLOBALLY
UNTIL
SINCE
HISTORICALLY
ONCE
Formula
Type
Selector
Illegal
File
Format
Exception
Location
Service
Reader
Spatial
Temporal
Signal
Reader
Spatial
Temporal
Signal
Writer
Temporal
Signal
Reader
Temporal
Signal
Writer
Unsupported
File
Type
Exception
io.
github.
moonlightsuite.
moonlight.
io.
json
Illegal
File
Format
JSon
Spatio
Temporal
Signal
Deserializer
JSon
Temporal
Signal
Deserializer
io.
github.
moonlightsuite.
moonlight.
io.
parsing
Adjacency
Extractor
File
Type
CSV
TEXT
Multi
Raw
Trajectory
Extractor
Parsing
Strategy
Printing
Strategy
Raw
Trajectory
Extractor
Signal
Processor
io.
github.
moonlightsuite.
moonlight.
offline.
algorithms
Boolean
Op
Reduce
Op
Sliding
Window
Spatial
Op
Temporal
Op
Unbounded
Operator
io.
github.
moonlightsuite.
moonlight.
offline.
algorithms.
mfr
Mfr
Algorithm
io.
github.
moonlightsuite.
moonlight.
offline.
monitoring
Spatial
Temporal
Monitoring
Spatial
Temporal
Monitoring
Input
Temporal
Monitoring
io.
github.
moonlightsuite.
moonlight.
offline.
monitoring.
mfr
Mfr
Monitor
Mfr
Monitor
Atomic
Mfr
Monitor
Binary
Mfr
Monitor
Filter
Mfr
Monitoring
Mfr
Monitor
Map
Mfr
Monitor
Reduce
Mfr
Monitor
Since
Mfr
Set
Monitor
io.
github.
moonlightsuite.
moonlight.
offline.
monitoring.
spatialtemporal
Spatial
Binary
Op
Spatial
Temporal
Monitor
Spatial
Temporal
Monitor
Atomic
Spatial
Temporal
Monitor
Binary
Operator
Spatial
Temporal
Monitor
Closure
Spatial
Temporal
Monitor
Escape
Spatial
Temporal
Monitor
Everywhere
Spatial
Temporal
Monitor
Future
Operator
Spatial
Temporal
Monitor
Next
Spatial
Temporal
Monitor
Past
Operator
Spatial
Temporal
Monitor
Reach
Spatial
Temporal
Monitor
Since
Spatial
Temporal
Monitor
Somewhere
Spatial
Temporal
Monitor
Surround
Spatial
Temporal
Monitor
Unary
Operator
Spatial
Temporal
Monitor
Until
io.
github.
moonlightsuite.
moonlight.
offline.
monitoring.
temporal
Temporal
Monitor
Temporal
Monitor
Atomic
Temporal
Monitor
Binary
Operator
Temporal
Monitor
Future
Operator
Temporal
Monitor
Past
Operator
Temporal
Monitor
Since
Temporal
Monitor
Unary
Operator
Temporal
Monitor
Until
io.
github.
moonlightsuite.
moonlight.
offline.
signal
Enumeration
Handler
Illegal
Value
Exception
Offline
Signal
Cursor
Parallel
Signal
Cursor
Parallel
Signal
Cursor1
Record
Handler
Segment
Signal
Signal
Creator
Signal
Creator
Double
Signal
Cursor
Spatial
Temporal
Signal
STSignal
Time
Sequence
Variable
Array
Signal
io.
github.
moonlightsuite.
moonlight.
offline.
signal.
mfr
Mfr
Cursor
Mfr
Signal
io.
github.
moonlightsuite.
moonlight.
online.
algorithms
Boolean
Op
Reach
Operator
Signals
Sliding
Window
Spatial
Op
Temporal
Op
io.
github.
moonlightsuite.
moonlight.
online.
monitoring
Online
Monitor
Online
Spatial
Temporal
Monitor
Online
Time
Monitor
Update
Parameter
io.
github.
moonlightsuite.
moonlight.
online.
monitoring.
spatialtemporal
Atomic
Monitor
Binary
Monitor
Binary
Space
Op
Monitor
Unary
Monitor
Unary
Space
Op
Monitor
Unary
Time
Op
Monitor
io.
github.
moonlightsuite.
moonlight.
online.
monitoring.
temporal
Atomic
Monitor
Binary
Monitor
Temporal
Op
Monitor
Unary
Monitor
io.
github.
moonlightsuite.
moonlight.
online.
signal
Chain
Iterator
Chains
Combinator
Multi
Online
Signal
Multi
Online
Space
Time
Signal
Online
Signal
Online
Space
Time
Signal
Time
Chain
Time
Segment
Update
io.
github.
moonlightsuite.
moonlight.
space
Graph
Model
Immutable
Graph
Model
Int
Manhattan
Distance
Structure
Int
Manhattan
Distance
Structure
Lazy
Int
Manhattan
Distance
Structure
Legacy
Location
Service
List
Manhattan
Distance
Structure
Regular
Grid
Model
Static
Location
Service
TRALocation
Service
Loader
io.
github.
moonlightsuite.
moonlight.
statistics
Signal
Statistics
Statistics
Statistical
Model
Checker
io.
github.
moonlightsuite.
moonlight.
util
Both
Formula
Generator
Formula
Generator
Future
Formula
Generator
Logger
Multi
Valued
Trace
Object
Serializer
Past
Formula
Generator
Stopwatch
Utils
matlab
io.
github.
moonlightsuite.
moonlight.
api
Engine
Console
Demo
Engine
Matalb
Prova
Matlab
Executor
Matlab
Runner
io.
github.
moonlightsuite.
moonlight.
api.
configurator
Configurator
Matlab
Matlab
Data
Converter
plotting
io.
github.
moonlightsuite.
plotting
Plotter
script
io.
github.
moonlightsuite.
moonlight.
script
Bi
Parametric
Boolean
Expression
Evaluator
Bi
Parametric
Expression
Evaluator
Boolean
Expression
Evaluator
Default
Name
Resolver
Expression
Evaluator
Moon
Light
Enumeration
Repository
Moon
Light
Parse
Error
Moon
Light
Parser
Error
Listener
Moon
Light
Script
Loader
Exception
Moon
Light
Type
Name
Resolver
Parametric
Boolean
Expression
Evaluator
Parametric
Expression
Evaluator
Script
Evaluator
Script
Loader
Script
Validator
Spatial
Temporal
Monitoring
Generator
Temporal
Formula
Evaluator
Temporal
Monitoring
Generator
Type
Checker
Evaluation
Context
NONE
INTERVAL
EDGE
STATE
Type
Environment
engine
/
io.github.moonlightsuite.moonlight.offline.monitoring.spatialtemporal
/
SpatialTemporalMonitor
/
impliesMonitor
implies
Monitor
public
static
SpatialTemporalMonitor
<
S
,
T
,
R
>
impliesMonitor
<
S
,
T
,
R
>
(
SpatialTemporalMonitor
<
S
,
T
,
R
>
m1
,
SignalDomain
<
R
>
domain
,
SpatialTemporalMonitor
<
S
,
T
,
R
>
m2
)