Struct LogosDenseI64Map 

pub struct LogosDenseI64Map { /* private fields */ }

Direct-addressed i64 → i64 map — the densest representation of a Map of Int to Int, emitted when the compiler PROVES every key ever inserted or queried lands in a statically bounded window [lo, lo + slots) whose width is ≤ the map’s own with capacity hint. Keys index a flat value array (data[key - lo]); a parallel presence bitset distinguishes a stored value from an absent slot, so get returns None for an in-range key that was never inserted. No hashing, no probing, no sparse table — both build and scan phases are sequential array accesses, which the backend vectorizes and the prefetcher loves. This is perfect hashing for dense integer keys: it removes the random-access hash table that costs LogosI64Map its cache locality.

Implementations

impl LogosDenseI64Map

pub fn new() -> Self

pub fn with_capacity(cap: usize) -> Self

A window [0, cap) — the offset-free form. Mirrors the LogosI64Map constructor name so a non-offset dense map reuses the same emission.

pub fn with_bounds(lo: i64, slots: usize) -> Self

A window [lo, lo + slots). slots is sized to the proven capacity hint; the soundness gate guarantees every key falls inside, so key - lo is a valid index for every insert and get the program performs.

pub fn insert(&mut self, key: i64, value: i64)

pub fn get(&self, key: &i64) -> Option<i64>

pub fn contains_key(&self, key: &i64) -> bool

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for LogosDenseI64Map

fn clone(&self) -> LogosDenseI64Map

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogosDenseI64Map

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

Formats the value using the given formatter.

impl Default for LogosDenseI64Map

fn default() -> Self

Returns the “default value” for a type.

impl LogosContains<i64> for LogosDenseI64Map

fn logos_contains(&self, key: &i64) -> bool

Check if this collection contains the given value.