Struct lrl_test_compiler::timeline::sensors::SensorsTimeline

pub struct SensorsTimeline {
    pub sensor_timelines: BTreeMap<String, SensorTimeline>,
}

Timeline of all sensor constraints over the whole test endpoints vector gives the time window where the constraints in the corresponding constraints array are active instantaneous sensor checks are indicated by two adjacent endpoints that are equal endpoints[0] gives the start and endpoints[1] gives the end time for all sensor constraints in constraints[0]

Fields

sensor_timelines: BTreeMap<String, SensorTimeline>

Implementations

impl SensorsTimeline

pub fn new() -> Self

pub fn add_sensor_statement(
    &mut self,
    statement: &SensorStatement
) -> CompilerResult<()>

fn add_range_constraints(
    &mut self,
    statement_start_time: u32,
    statement_end_time: u32,
    constraints: Vec<SensorConstraint>
) -> CompilerResult<()>

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

fn add_endpoint_constraints(
    &mut self,
    statement_time: u32,
    constraints: Vec<SensorConstraint>
) -> CompilerResult<()>

pub fn to_instrs(
    &mut self,
    concrete: &ConcreteTest
) -> CompilerResult<Vec<(u32, SensorInstr)>>

Trait Implementations

impl Debug for SensorsTimeline

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

Formats the value using the given formatter.

impl PartialEq<SensorsTimeline> for SensorsTimeline

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

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

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

This method tests for !=.

impl StructuralPartialEq for SensorsTimeline