Struct WriteSet 

pub struct WriteSet {
    pub vertices: HashSet<Vid>,
    pub edges: HashSet<Eid>,
}

The set of items a transaction wrote, used for conflict detection.

Fields

vertices: HashSet<Vid>

Vertices created, updated, or deleted by the transaction.

edges: HashSet<Eid>

Edges created, updated, or deleted by the transaction.

Implementations

impl WriteSet

pub fn from_l0(l0: &L0Buffer) -> Self

Builds a write-set from a transaction’s private L0 buffer.

Item-level granularity: a touched vertex/edge id is a conflict candidate regardless of which columns were written (the conservative lost-update rule). The one exception is the CRDT carve-out: a vertex whose write touched only CRDT-mergeable properties — with no delete and no label change — is excluded, because L0Buffer::merge_crdt_properties will commute those writes at commit. This lets concurrent CRDT-counter increments to the same vertex both commit (and merge) instead of aborting.

Mixed CRDT+non-CRDT writes, label changes, and deletes stay conflictable (their last-writer-wins / structural part can still be lost). Edges are always conflictable: every live edge write asserts endpoints/type, which is non-commutative topology that no CRDT carve-out can cover.

pub fn is_empty(&self) -> bool

Returns true when the write-set touches nothing (a read-only commit).

pub fn intersects(&self, other: &WriteSet) -> bool

Returns true when this and other write any common vertex or edge.

Trait Implementations

impl Clone for WriteSet

fn clone(&self) -> WriteSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WriteSet

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

Formats the value using the given formatter.

impl Default for WriteSet

fn default() -> WriteSet

Returns the “default value” for a type.