Enum rtlola_frontend::ir::Tracking

pub enum Tracking {
    All(StreamReference),
    Bounded {
        trackee: StreamReference,
        num: u128,
        rate: Duration,
    },
}

This data type provides information regarding how much data a stream needs to have access to from another stream.

Variants

All(StreamReference)

Need to store every single value of a stream

Bounded

Need to store num values of trackee, evicting/add a value every rate time units.

Fields of Bounded

trackee: StreamReference

The stream that will be tracked.

num: u128

The number of values that will be accessed.

rate: Duration

The duration in which values might be accessed.

Trait Implementations

impl Clone for Tracking

pub fn clone(&self) -> Tracking

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Tracking

impl Debug for Tracking

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

Formats the value using the given formatter.

impl Eq for Tracking

impl PartialEq<Tracking> for Tracking

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

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

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

This method tests for !=.

impl StructuralEq for Tracking

impl StructuralPartialEq for Tracking