Trait rtlola_frontend::mir::Stream

pub trait Stream {
    fn spawn_layer(&self) -> Layer;
    fn eval_layer(&self) -> Layer;
    fn is_input(&self) -> bool;
    fn is_parameterized(&self) -> bool;
    fn is_spawned(&self) -> bool;
    fn values_to_memorize(&self) -> MemorizationBound;
    fn as_stream_ref(&self) -> StreamReference;
}

A trait for any kind of stream.

Required methods

fn spawn_layer(&self) -> Layer

Reports the evaluation layer of the spawn condition of the stream.

fn eval_layer(&self) -> Layer

Reports the evaluation layer of the stream.

fn is_input(&self) -> bool

Indicates whether or not the stream is an input stream.

fn is_parameterized(&self) -> bool

Indicates whether or not the stream has parameters.

fn is_spawned(&self) -> bool

Indicates whether or not the stream spawned / dynamically created.

fn values_to_memorize(&self) -> MemorizationBound

Indicates how many values of the stream’s Type need to be memorized.

fn as_stream_ref(&self) -> StreamReference

Produces a stream references referring to the stream.

Implementors

impl Stream for InputStream

impl Stream for OutputStream