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
fn spawn_layer(&self) -> Layer
fn spawn_layer(&self) -> Layer
Reports the evaluation layer of the spawn condition of the stream.
fn eval_layer(&self) -> Layer
fn eval_layer(&self) -> Layer
Reports the evaluation layer of the stream.
fn is_parameterized(&self) -> bool
fn is_parameterized(&self) -> bool
Indicates whether or not the stream has parameters.
fn is_spawned(&self) -> bool
fn is_spawned(&self) -> bool
Indicates whether or not the stream spawned / dynamically created.
fn values_to_memorize(&self) -> MemorizationBound
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
fn as_stream_ref(&self) -> StreamReference
Produces a stream references referring to the stream.