pub struct BvSizeVid {
    private_use_as_methods_instead: u32,
}Expand description
A bit vector size vvariable id
Fields§
§private_use_as_methods_instead: u32Implementations§
Source§impl BvSizeVid
 
impl BvSizeVid
Sourcepub const MAX_AS_U32: u32 = 4_294_967_040u32
 
pub const MAX_AS_U32: u32 = 4_294_967_040u32
Maximum value the index can take, as a u32.
Sourcepub const fn from_usize(value: usize) -> Self
 
pub const fn from_usize(value: usize) -> Self
Sourcepub const unsafe fn from_u32_unchecked(value: u32) -> Self
 
pub const unsafe fn from_u32_unchecked(value: u32) -> Self
Creates a new index from a given u32.
§Safety
The provided value must be less than or equal to the maximum value for the newtype. Providing a value outside this range is undefined due to layout restrictions.
Prefer using from_u32.
Trait Implementations§
Source§impl AddAssign<usize> for BvSizeVid
 
impl AddAssign<usize> for BvSizeVid
Source§fn add_assign(&mut self, other: usize)
 
fn add_assign(&mut self, other: usize)
Performs the 
+= operation. Read moreSource§impl UnifyKey for BvSizeVid
 
impl UnifyKey for BvSizeVid
type Value = Option<BvSize>
fn index(&self) -> u32
fn from_index(u: u32) -> Self
fn tag() -> &'static str
§fn order_roots(
    a: Self,
    a_value: &Self::Value,
    b: Self,
    b_value: &Self::Value,
) -> Option<(Self, Self)>
 
fn order_roots( a: Self, a_value: &Self::Value, b: Self, b_value: &Self::Value, ) -> Option<(Self, Self)>
You should return first the key that should be used as root,
then the other key (that will then point to the new root). Read more
impl Copy for BvSizeVid
impl Eq for BvSizeVid
impl StructuralPartialEq for BvSizeVid
Auto Trait Implementations§
impl Freeze for BvSizeVid
impl RefUnwindSafe for BvSizeVid
impl Send for BvSizeVid
impl Sync for BvSizeVid
impl Unpin for BvSizeVid
impl UnwindSafe for BvSizeVid
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,
§impl<Q, K> Equivalent<K> for Q
 
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
 
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
 
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
 
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
 
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
 
fn equivalent(&self, key: &K) -> bool
Compare self to 
key and return true if they are equal.§impl<T> Instrument for T
 
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
 
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
 
fn in_current_span(self) -> Instrumented<Self>
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