Enum rtlola_frontend::mir::MemorizationBound [−][src]
pub enum MemorizationBound { Unbounded, Bounded(u16), }
Expand description
This enum indicates how much memory is required to store a stream.
Variants
The required memory might exceed any bound.
Bounded(u16)
Only the contained amount of stream entries need to be stored.
Implementations
Returns the unwraped memory bound
This function returns the bound of an MemorizationBound::Bounded as u16
. The function panics, if it is called on a MemorizationBound::Unbounded value.
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for MemorizationBound
impl Send for MemorizationBound
impl Sync for MemorizationBound
impl Unpin for MemorizationBound
impl UnwindSafe for MemorizationBound
Blanket Implementations
Mutably borrows from an owned value. Read more
Compare self to key
and return true
if they are equal.
type Output = T
type Output = T
Should always be Self