Trait rtlola_frontend::mir::Stream
source · [−]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.