Struct IndirectionTable 

pub struct IndirectionTable { /* private fields */ }

A two-tier indirection table for deterministic O(1) lookup.

Architecture:

• Level 0 (Coarse Array): A flat, uniform array spanning the entire domain at low resolution.
• Level 1 (High-Resolution Array): Packed blocks of fine-grained data for refined regions.

Each entry in Level 0 contains either:

• A Direct Value: The actual lookup result (if no refinement needed)
• A Pointer: An offset into Level 1 pointing to the start of a high-res block

A bit-flag (sign bit) distinguishes the two cases.

Implementations

impl IndirectionTable

pub fn new( coarse: Vec<(f64, bool)>, fine: Vec<f64>, min: f64, max: f64, coarse_resolution: usize, ) -> Self

Create an indirection table from coarse and fine-grained data.

Arguments

• coarse - Level 0 entries: (value_or_offset, is_pointer) tuples
• fine - Level 1: packed high-resolution blocks
• min - Domain minimum
• max - Domain maximum
• coarse_resolution - Number of cells in coarse grid

pub fn lookup(&self, x: f64) -> f64

Branchless $O(1)$ lookup at a single point.

Returns either the direct value (single fetch) or looks up in Level 1 (dual fetch).

pub fn save(&self, path: &Path) -> Result<()>

Save the indirection table to disk.

pub fn load(path: &Path) -> Result<Self>

Load an indirection table from disk.

pub fn stats(&self) -> IndirectionStats

Get statistics about the table structure.

Trait Implementations

impl Clone for IndirectionTable

fn clone(&self) -> IndirectionTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IndirectionTable

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IndirectionTable

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for IndirectionTable

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.