Trait ra_ap_rustc_index::bit_set::FiniteBitSetTy

pub trait FiniteBitSetTy: BitAnd<Output = Self> + BitAndAssign + BitOrAssign + Clone + Copy + Shl + Not<Output = Self> + PartialEq + Sized {
    const DOMAIN_SIZE: u32;
    const FILLED: Self;
    const EMPTY: Self;
    const ONE: Self;
    const ZERO: Self;

    // Required methods
    fn checked_shl(self, rhs: u32) -> Option<Self>;
    fn checked_shr(self, rhs: u32) -> Option<Self>;
}

Integral type used to represent the bit set.

Required Associated Constants

const DOMAIN_SIZE: u32

Size of the domain representable by this type, e.g. 64 for u64.

const FILLED: Self

Value which represents the FiniteBitSet having every bit set.

const EMPTY: Self

Value which represents the FiniteBitSet having no bits set.

const ONE: Self

Value for one as the integral type.

const ZERO: Self

Value for zero as the integral type.

Required Methods

fn checked_shl(self, rhs: u32) -> Option<Self>

Perform a checked left shift on the integral type.

fn checked_shr(self, rhs: u32) -> Option<Self>

Perform a checked right shift on the integral type.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl FiniteBitSetTy for u32

const DOMAIN_SIZE: u32 = 32u32

const FILLED: Self = 4_294_967_295u32

const EMPTY: Self = 0u32

const ONE: Self = 1u32

const ZERO: Self = 0u32

fn checked_shl(self, rhs: u32) -> Option<Self>

fn checked_shr(self, rhs: u32) -> Option<Self>

Implementors