Struct BindingSet 

pub struct BindingSet { /* private fields */ }

The currently-bound partition-key tuples of one family pipeline (design §4.1’s “binding-set handle”). Shared (Rc) between the root connection’s predicate and the graph’s bind/unbind path; interior-mutable, but mutated ONLY between pushes (impl plan D3) — the predicate takes a momentary shared borrow per row.

Implementations

impl BindingSet

pub fn new() -> Rc<BindingSet>

pub fn contains_row(&self, row: &OwnedRow, cols: &[ColId]) -> bool

The membership test of design §4.1: is row’s partition-key tuple (its cols cells, canonicalized) currently bound? Never holds the borrow across a vend.

pub fn contains(&self, b: &CanonKey) -> bool

pub fn insert(&self, b: CanonKey) -> bool

Bind b. false iff it was already bound.

pub fn remove(&self, b: &CanonKey) -> bool

Unbind b. false iff it was not bound.

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn snapshot(&self) -> Vec<CanonKey>

Every bound tuple, in a deterministic (sorted) order.

Trait Implementations

impl Debug for BindingSet

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

Formats the value using the given formatter.

impl Default for BindingSet

fn default() -> BindingSet

Returns the “default value” for a type.