AddWinsSet

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

Value members

Concrete methods

def add(element: A, replicaID: Id): AddWinsSet[A]
def addRandom(e: A): AddWinsSet[A]

Adds a value conceptually from a new random replica

Adds a value conceptually from a new random replica

def addΔ(element: A, replicaID: Id): AddWinsSet[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(element: A): AddWinsSet[A]
def removeΔ(e: A): AddWinsSet[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]
Implicitly added by toCausal
Inherited from
Product
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Implicitly added by toCausal
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product