Struct FjDeltaCols 

pub struct FjDeltaCols {
    pub delta_carry: usize,
    pub delta_key: usize,
    pub r_carry: usize,
    pub r_value: usize,
}

Column roles for one factorized delta step. The delta atom binds (carry, key); the stable relation binds (carry, value) in head column order — r_carry/r_value therefore double as the output placement (the novel buffer is built in full_r’s schema). The static side is always consumed key-first (layout-normalized by the caller), so it needs no indices here.

Fields

delta_carry: usize

Delta column carried through to the head (the bitmap row).

delta_key: usize

Delta column joined against the static side’s key.

r_carry: usize

Head/full-R column holding the carry.

r_value: usize

Head/full-R column holding the static value (the bitmap bit).

Implementations

impl FjDeltaCols

pub const CANONICAL: Self

Right-linear TC orientation: delta (x, y), head (x, z).

Trait Implementations

impl Clone for FjDeltaCols

fn clone(&self) -> FjDeltaCols

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FjDeltaCols

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

Formats the value using the given formatter.

impl Copy for FjDeltaCols