Struct lrl_test_compiler::timeline::sensors::SensorTimeline

pub struct SensorTimeline {
    pub endpoints: Vec<u32>,
    pub range_constraints: Vec<Vec<SensorConstraint>>,
    pub endpoint_constraints: Vec<Vec<SensorConstraint>>,
}

Fields

endpoints: Vec<u32>

range_constraints: Vec<Vec<SensorConstraint>>

endpoint_constraints: Vec<Vec<SensorConstraint>>

Implementations

impl SensorTimeline

pub fn new() -> Self

pub fn add_sensor_range(
    &mut self,
    statement_start_time: u32,
    statement_end_time: u32,
    constraint: &SensorConstraint
) -> CompilerResult<()>

Adds all provided sensor constraint into the sensor timeline with the given start and end time and inserts endpoints if necessary

fn add_sensor_instant(
    &mut self,
    statement_time: u32,
    constraint: &SensorConstraint
) -> CompilerResult<()>

Adds all provided sensor constraints into the sensor timeline at the given time and inserts an endpoint if necessary

fn split_range(&mut self, idx_to_split: usize, time_of_split: u32)

Splits a range between two timeline endpoints by inserting the given time_of_split into the endpoints vector at idx_to_split. Clones the range constraints for the range that was split, so they exist on both sides of the split. Empty endpoint constraints vec is inserted at idx_to_split.

pub fn reduce(&mut self) -> CompilerResult<()>

Reduce sensor constraints throughout the sensor timeline to combine constraints active at the same time for the same sensor

fn reduce_two_constraints(
    &self,
    constraint_opt1: Option<SensorConstraint>,
    constraint_opt2: Option<SensorConstraint>
) -> CompilerResult<SensorConstraint>

Reduce the two provided sensor constraints into a single sensor constraint or provide a compiler error

Trait Implementations

impl Debug for SensorTimeline

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq<SensorTimeline> for SensorTimeline

fn eq(&self, other: &SensorTimeline) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &SensorTimeline) -> bool

This method tests for !=.

impl StructuralPartialEq for SensorTimeline