Struct SlotMetadata 

pub struct SlotMetadata(/* private fields */);

A compact metadata tag for one filter slot.

Wraps a single u8 with three bit flags:

• Occupied (bit 0)
• Continuation (bit 1)
• Shifted (bit 2)

Implementations

impl SlotMetadata

pub const fn new() -> Self

Creates empty metadata (all bits off).

Returns

Metadata with all flags cleared

pub const fn with_flags( is_occupied: bool, is_continuation: bool, is_shifted: bool, ) -> Self

Creates metadata with specific flag values.

Arguments

• is_occupied - Whether this canonical slot starts a run
• is_continuation - Whether this slot continues a run
• is_shifted - Whether this slot’s data is displaced from canonical position

Returns

Metadata with the specified flags set

pub const fn is_empty(&self) -> bool

Checks if this metadata is completely empty (all flags off).

Returns

true if no flags are set

pub const fn is_occupied(&self) -> bool

Reads the “occupied” flag.

Indicates whether this canonical slot is the start of a run.

Returns

true if occupied

pub fn set_occupied(&mut self, value: bool)

Sets the “occupied” flag.

Arguments

• value - true to set occupied, false to clear

pub const fn is_continuation(&self) -> bool

Reads the “continuation” flag.

Indicates whether this slot is part of a run that started in a previous slot.

Returns

true if this is a continuation slot

pub const fn set_continuation(&mut self, value: bool)

Sets the “continuation” flag.

Arguments

• value - true to mark as continuation, false otherwise

pub const fn is_shifted(&self) -> bool

Reads the “shifted” flag.

Indicates whether this slot’s data was displaced from its canonical position due to collisions during insertion.

Returns

true if this slot is shifted

pub const fn set_shifted(&mut self, value: bool)

Sets the “shifted” flag.

Arguments

• value - true to mark as shifted, false otherwise

pub const fn is_cluster_start(&self) -> bool

Checks if this slot is a cluster start.

A cluster start is occupied and not shifted (canonical position).

Returns

true if this slot starts a cluster

pub const fn is_run_start(&self) -> bool

Checks if this slot is a run start within a cluster.

A run start is not a continuation and has some presence signal (either occupied or shifted).

Returns

true if this slot starts a run

pub const fn has_data(&self) -> bool

Checks if this slot has meaningful metadata.

A slot has data if any of the three flags are set.

Returns

true if any flag is set

pub fn clear(&mut self)

Clears all metadata flags (resets to empty).

Complexity

O(1)

pub const fn raw(&self) -> u8

Returns the raw byte value for serialization/storage.

Returns

The 8-bit flags value

pub const fn from_raw(value: u8) -> Self

Constructs metadata from a raw byte (for deserialization).

Arguments

• value - Raw byte containing bit flags

Returns

Reconstructed metadata

Trait Implementations

impl Clone for SlotMetadata

fn clone(&self) -> SlotMetadata

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SlotMetadata

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Produces verbose debug output showing all three flags by name.

Example: SlotMetadata { occupied: true, continuation: false, shifted: true }

impl Default for SlotMetadata

fn default() -> SlotMetadata

Returns the “default value” for a type.

impl Display for SlotMetadata

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Produces compact 3-character display of metadata flags.

Format: [O|-][C|-][S|-]

• O = occupied, - = not occupied
• C = continuation, - = not continuation
• S = shifted, - = not shifted

Examples: OCS, O--, -C-, ---

impl PartialEq for SlotMetadata

fn eq(&self, other: &SlotMetadata) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for SlotMetadata

impl Eq for SlotMetadata

impl StructuralPartialEq for SlotMetadata