Struct DenseShiftEncoding 

pub struct DenseShiftEncoding { /* private fields */ }

A dense re-encoding of the shift sequences occurring in a key segment. A key names a sequence of two shifts, each slot drawn from a fixed alphabet of 512 spellings.

• The sequence space is therefore 512^2 = 262,144 entries.
• A constraint system uses only a few dozen of them.
• The segment’s own sequences are re-encoded as a contiguous range.
• A per-sequence table is sized by the sequences present, not the whole space.
• The space is too large for a lookup table, so a sequence is located by binary search.

Implementations

impl DenseShiftEncoding

pub const fn len(&self) -> usize

The number of distinct shift sequences the segment uses.

pub const fn is_empty(&self) -> bool

Whether the segment uses no shifted values at all.

pub fn iter(&self) -> impl Iterator<Item = [Shift; 2]> + '_

The shift sequences the segment uses, in dense index order.

pub fn shift_indices(&self) -> impl Iterator<Item = usize> + '_

Where every sequence the segment uses sits in the space two shift slots span.

• The space is addressed outer-major: the outer slot’s index sits above the inner slot’s.
• This matches the reduction’s round order, which peels the outer shift first.
• Distinct sequences land on distinct indices, so two segments’ encodings can merge.
• The indices do not come out ascending, since sequences are sorted by inner slot first.
• Nothing needs them ascending.

index = (outer_index << LOG_SHIFT_COUNT) | inner_index

Trait Implementations

impl Clone for DenseShiftEncoding

fn clone(&self) -> DenseShiftEncoding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DenseShiftEncoding

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

Formats the value using the given formatter.

impl Default for DenseShiftEncoding

fn default() -> DenseShiftEncoding

Returns the “default value” for a type.

impl DeserializeBytes for DenseShiftEncoding

fn deserialize(read_buf: impl Buf) -> Result<Self, SerializationError>

impl SerializeBytes for DenseShiftEncoding

fn serialize(&self, write_buf: impl BufMut) -> Result<(), SerializationError>