pub enum Dimension {
Fixed(u64),
Variable(u32),
}Variants§
Fixed(u64)
Defines a constant unsigned 64-bit integer size for this dimension. The variability of the dimension size is constant in this case.
Variable(u32)
If the present, it defines the size of this dimension to be the value of the variable with
the value reference given by the value_reference attribute. The referenced variable
must be a variable of type UInt64, and must either be a constant (i.e. with
variability = constant) or a structural parameter (i.e. with causality =
structuralParameter). The variability of the dimension size is in this case the variability
of the referenced variable. A structural parameter must be a variable of type UInt64
only if it is referenced in Dimension.
Implementations§
Trait Implementations§
impl StructuralPartialEq for Dimension
Auto Trait Implementations§
impl Freeze for Dimension
impl RefUnwindSafe for Dimension
impl Send for Dimension
impl Sync for Dimension
impl Unpin for Dimension
impl UnwindSafe for Dimension
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more