Trait rtlola_frontend::ir::Stream

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

A trait for any kind of stream.

Required methods

pub fn eval_layer(&self) -> u32

Returns the evaluation laying in which the stream resides.

pub fn is_input(&self) -> bool

Indicates whether or not the stream is an input stream.

pub fn values_to_memorize(&self) -> MemorizationBound

Indicates how many values need to be memorized.

pub fn as_stream_ref(&self) -> StreamReference

Produces a stream references referring to the stream.

Loading content...

Implementors

impl Stream for InputStream

pub fn eval_layer(&self) -> u32

pub fn is_input(&self) -> bool

pub fn values_to_memorize(&self) -> MemorizationBound

pub fn as_stream_ref(&self) -> StreamReference

impl Stream for OutputStream

pub fn eval_layer(&self) -> u32

pub fn is_input(&self) -> bool

pub fn values_to_memorize(&self) -> MemorizationBound

pub fn as_stream_ref(&self) -> StreamReference

Loading content...