kuilt-crdt/us.tractat.kuilt.crdt/DotSet

DotSet

@Serializable

class DotSet(val dots: Set<Dot> = emptySet()) : DotStore<DotSet>

The simplest DotStore: a bare set of dots carrying no payload. Presence is "non-empty". As Causal<DotSet> it is an enable-wins flag / set of opaque adds; nested inside a DotMap it becomes the per-element store of an OR-Set.

Constructors

DotSet

constructor(dots: Set<Dot> = emptySet())

Properties

dots

open override val dots: Set<Dot>

Every dot currently live in this store.

empty

open override val empty: DotSet

The empty (bottom) store of this shape — no dots.

isBottom

open val isBottom: Boolean

True when the store holds no dots.

Functions

equals

open operator override fun equals(other: Any?): Boolean

hashCode

open override fun hashCode(): Int

join

open override fun join(other: DotSet, context: DotContext, otherContext: DotContext): DotSet

The causal join with other. A dot is kept when it is live in both stores, or live in one and not yet witnessed by the other side's context; it is dropped only when one side still has it while the other has it in otherContext but not in its store — the signature of a deliberate remove. context is this store's surrounding causal history; otherContext is the other's.

toString

open override fun toString(): String