Enum rtlola_frontend::mir::MemorizationBound
source · pub enum MemorizationBound {
Unbounded,
Bounded(u32),
}
Expand description
This enum indicates how much memory is required to store a stream.
Variants§
Unbounded
The required memory might exceed any bound.
Bounded(u32)
Only the contained amount of stream entries need to be stored.
Implementations§
source§impl MemorizationBound
impl MemorizationBound
sourcepub fn unwrap(self) -> u32
pub fn unwrap(self) -> u32
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§
source§impl Add<MemorizationBound> for MemorizationBound
impl Add<MemorizationBound> for MemorizationBound
§type Output = MemorizationBound
type Output = MemorizationBound
The resulting type after applying the
+
operator.source§fn add(
self,
rhs: MemorizationBound
) -> <MemorizationBound as Add<MemorizationBound>>::Output
fn add(
self,
rhs: MemorizationBound
) -> <MemorizationBound as Add<MemorizationBound>>::Output
Performs the
+
operation. Read moresource§impl Clone for MemorizationBound
impl Clone for MemorizationBound
source§fn clone(&self) -> MemorizationBound
fn clone(&self) -> MemorizationBound
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for MemorizationBound
impl Debug for MemorizationBound
source§impl<'de> Deserialize<'de> for MemorizationBound
impl<'de> Deserialize<'de> for MemorizationBound
source§fn deserialize<__D>(
__deserializer: __D
) -> Result<MemorizationBound, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D
) -> Result<MemorizationBound, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl PartialEq<MemorizationBound> for MemorizationBound
impl PartialEq<MemorizationBound> for MemorizationBound
source§fn eq(&self, other: &MemorizationBound) -> bool
fn eq(&self, other: &MemorizationBound) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd<MemorizationBound> for MemorizationBound
impl PartialOrd<MemorizationBound> for MemorizationBound
source§fn partial_cmp(&self, other: &MemorizationBound) -> Option<Ordering>
fn partial_cmp(&self, other: &MemorizationBound) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl Serialize for MemorizationBound
impl Serialize for MemorizationBound
source§fn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
Serialize this value into the given Serde serializer. Read more
impl Copy for MemorizationBound
impl Eq for MemorizationBound
impl StructuralEq for MemorizationBound
impl StructuralPartialEq for MemorizationBound
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§
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.