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 values_to_memorize(&self) -> MemorizationBound;

    fn as_stream_ref(&self) -> StreamReference;
}
Expand description

A trait for any kind of stream.

Required methods

fn spawn_layer(&self) -> Layer[src]

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

fn eval_layer(&self) -> Layer[src]

Reports the evaluation layer of the stream.

fn is_input(&self) -> bool[src]

Indicates whether or not the stream is an input stream.

fn values_to_memorize(&self) -> MemorizationBound[src]

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

fn as_stream_ref(&self) -> StreamReference[src]

Produces a stream references referring to the stream.

Implementors