Trait rtlola_hir::hir::MemBoundTrait
source · [−]pub trait MemBoundTrait {
fn memory_bound(&self, sr: StreamReference) -> MemorizationBound;
}
Expand description
Describes the functionality of a mode after computing the memory bounds
Required methods
fn memory_bound(&self, sr: StreamReference) -> MemorizationBound
fn memory_bound(&self, sr: StreamReference) -> MemorizationBound
Returns the memory bound of the given stream
Panic
The function panics if the StreamReference is invalid.