Trait SetElement

pub trait SetElement: Sized + Sealed {
    type Storage: BitAnd<Output = Self::Storage> + BitAndAssign + BitOr<Output = Self::Storage> + BitOrAssign + BitXor<Output = Self::Storage> + BitXorAssign + Not<Output = Self::Storage> + PartialOrd + Binary + Copy;

    const ALL: Self::Storage;
    const NONE: Self::Storage;

    // Required methods
    fn count_possibilities(set: Self::Storage) -> u32;
    fn as_set(self) -> Set<Self>;
}

Trait for types that can be stored in a Set

Required Associated Constants

const ALL: Self::Storage

const NONE: Self::Storage

Required Associated Types

type Storage: BitAnd<Output = Self::Storage> + BitAndAssign + BitOr<Output = Self::Storage> + BitOrAssign + BitXor<Output = Self::Storage> + BitXorAssign + Not<Output = Self::Storage> + PartialOrd + Binary + Copy

Required Methods

fn count_possibilities(set: Self::Storage) -> u32

fn as_set(self) -> Set<Self>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl SetElement for Cell

const ALL: u128 = 2_417_851_639_229_258_349_412_351u128

const NONE: u128 = 0u128

type Storage = u128

impl SetElement for House

const ALL: u32 = 134_217_727u32

const NONE: u32 = 0u32

type Storage = u32

impl SetElement for Line

const ALL: u32 = 262_143u32

const NONE: u32 = 0u32

type Storage = u32

impl SetElement for Position<House>

const ALL: u16 = 511u16

const NONE: u16 = 0u16

type Storage = u16

impl SetElement for Position<Line>

const ALL: u16 = 511u16

const NONE: u16 = 0u16

type Storage = u16

impl SetElement for Digit

const ALL: u16 = 511u16

const NONE: u16 = 0u16

type Storage = u16