mstlo 0.1.0

A Rust library for online monitoring of Signal Temporal Logic (STL) specifications.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

use mstlo::{Step, step};
use std::time::Duration;

pub fn convert_f64_vec_to_bool_vec(input: Vec<Vec<Step<f64>>>) -> Vec<Vec<Step<bool>>> {
    input
        .into_iter()
        .map(|inner_vec| {
            inner_vec
                .into_iter()
                .map(|step| {
                    let bool_value =
                        step.value > 0.0 || (step.value == 0.0 && step.value.is_sign_negative());
                    step!("output", bool_value, step.timestamp)
                })
                .collect()
        })
        .collect()
}

// Helper to create a vector of steps
pub fn create_steps(name: &'static str, values: Vec<f64>, timestamps: Vec<u64>) -> Vec<Step<f64>> {
    values
        .into_iter()
        .zip(timestamps)
        .map(|(val, ts)| step!(name, val, Duration::from_secs(ts)))
        .collect()
}

pub fn combine_and_sort_steps(step_vectors: Vec<Vec<Step<f64>>>) -> Vec<Step<f64>> {
    let mut combined_steps = step_vectors.into_iter().flatten().collect::<Vec<_>>();
    combined_steps.sort_by_key(|step| step.timestamp);
    combined_steps
}