Struct PredicateSet 

pub struct PredicateSet { /* private fields */ }

Predicate/range reads at table granularity (spec §10.2, S1B-002). A scan or range lookup registers the table here; Serializable certification treats any concurrent write on a registered table as a phantom invalidation. Table granularity is deliberately conservative — the single-node commit path trades some false-positive aborts for a simple, sound phantom check.

Implementations

impl PredicateSet

pub fn tables(&self) -> impl Iterator<Item = u64> + '_

The tables with registered predicate/range reads.

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for PredicateSet

fn clone(&self) -> PredicateSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PredicateSet

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

Formats the value using the given formatter.

impl Default for PredicateSet

fn default() -> PredicateSet

Returns the “default value” for a type.