Module monitor 

High-level STL monitor API.

This module provides the user-facing monitor abstraction (StlMonitor) and its builder (StlMonitorBuilder). It bridges:

• formula definitions (FormulaDefinition),
• executable operator trees (incremental is strictly recommended, naive is mostly for testing), and
• optional multi-signal synchronization.

It also defines output containers (MonitorOutput, SyncStepResult) and semantic selection markers used for type-driven output inference.

Re-exports

pub use semantic_markers::DelayedQualitative;

pub use semantic_markers::DelayedQuantitative;

pub use semantic_markers::EagerQualitative;

pub use semantic_markers::Rosi;

Modules

semantic_markers

Marker traits and structs for Type-Driven Semantics

Structs

MonitorOutput

Represents the output of a single monitor update operation.

StlMonitor

The final monitor struct that handles the input stream. We do not constrain Y on the struct definition to allow flexible builder patterns, though valid monitors will always have Y: RobustnessSemantics.

StlMonitorBuilder

The Builder pattern struct for StlMonitor.

SyncStepResult

Result of evaluating one synchronized step through the root operator.

Enums

Algorithm

Defines the monitoring strategy.

Semantics

Monitoring semantics and evaluation mode.