Struct SeqSpace 

pub struct SeqSpace { /* private fields */ }

A modular sequence-number space of bits bits (1..=31).

Implementations

impl SeqSpace

pub const fn new(bits: u32) -> Self

A bits-wide space.

Panics

In a const context (compile error) or at runtime if bits is 0 or exceeds MAX_SEQ_BITS.

pub const fn modulus(self) -> u64

Number of distinct sequence numbers: 2^bits.

pub const fn mask(self) -> u32

Bit mask selecting a sequence number: 2^bits - 1.

pub const fn add(self, seq: u32, n: u32) -> u32

seq + n, wrapping at the space boundary.

pub const fn diff(self, a: u32, b: u32) -> i32

Signed circular distance a - b, in (-half, half] where half is half the space. Positive means a is ahead of b. Inputs are masked to the space.

pub const fn lt(self, a: u32, b: u32) -> bool

a precedes b in circular order.

pub const fn leq(self, a: u32, b: u32) -> bool

a precedes or equals b.

pub const fn gt(self, a: u32, b: u32) -> bool

a follows b in circular order.

pub const fn geq(self, a: u32, b: u32) -> bool

a follows or equals b.

pub const fn in_closed_range(self, seq: u32, first: u32, last: u32) -> bool

seq lies within the inclusive circular range first..=last, walking forward from first. A last that precedes first in circular order is an empty (malformed) range and never matches.

Trait Implementations

impl Clone for SeqSpace

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SeqSpace

impl Debug for SeqSpace

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

Formats the value using the given formatter.

impl Eq for SeqSpace

impl PartialEq for SeqSpace

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SeqSpace