Trait rtlola_frontend::mir::Stream[][src]

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; }
Expand description

A trait for any kind of stream.

Required methods

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

Reports the evaluation layer of the stream.

Indicates whether or not the stream is an input stream.

Indicates whether or not the stream has parameters.

Indicates whether or not the stream spawned / dynamically created.

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

Produces a stream references referring to the stream.

Implementors