Trait rtlola_hir::hir::MemBoundTrait[−][src]

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[src]

Returns the memory bound of the given stream

Panic

The function panics if the StreamReference is invalid.

Implementors

impl<T> MemBoundTrait for T where
    T: MemBoundTraitWrapper, [src]

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