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§

source

fn memory_bound(&self, sr: StreamReference) -> MemorizationBound

Returns the memory bound of the given stream

Panic

The function panics if the StreamReference is invalid.

Implementors§

source§

impl<T> MemBoundTrait for Twhere
    T: MemBoundTraitWrapper,