Type Definition rtlola_interpreter::monitor::Incremental

pub type Incremental = Vec<(OutputReference, Vec<Change>)>;

Represents the changes of the monitor state. Each element represents a set of Changes of a specific output stream.

Trait Implementations

impl VerdictRepresentation for Incremental

type Tracing = NoTracer

This subtype captures the tracing capabilities of the verdict representation.

fn create(data: RawVerdict<'_>) -> Self

Creates a snapshot of the streams values.

fn is_empty(&self) -> bool

Returns whether the verdict is empty. I.e. it doesn’t contain any information.

fn create_with_trace(data: RawVerdict<'_>, _tracing: Self::Tracing) -> Self

Creates a snapshot of the streams values including tracing data.