AddWinsSetO

case
class AddWinsSetO[A](store: Map[A, Context], context: Context)
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def add(element: A, replicaID: Id): AddWinsSetO[A]
def addΔ(element: A, replicaID: Id): AddWinsSetO[A]

Adding an element adds it to the current dot store as well as to the causal context (past).

Adding an element adds it to the current dot store as well as to the causal context (past).

def contains(e: A): Boolean
def remove(e: A): AddWinsSetO[A]
def removeΔ(e: A): AddWinsSetO[A]

Merging removes all elements the other side should known (based on the causal context), but does not contain. Thus, the delta for removal is the empty map, with the dot of the removed element in the context.

Merging removes all elements the other side should known (based on the causal context), but does not contain. Thus, the delta for removal is the empty map, with the dot of the removed element in the context.

def toSet: Set[A]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product