mutators

lofi_acl.ardt.datatypes.AddWinsSet$package.AddWinsSet.mutators
object mutators

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
mutators.type

Members list

Value members

Concrete methods

def add[E](set: AddWinsSet[E], replicaId: LocalUid, element: E): AddWinsSet[E]

Returns the '''delta''' that adds the element to the set.

Returns the '''delta''' that adds the element to the set.

Type parameters

E

Type of the elements in the set.

Value parameters

element

Element to add.

replicaId

Id of the replica that performs the add.

set

Set that the element should be added to.

Attributes

Returns

The delta of the add operation.

def clear[E](set: AddWinsSet[E]): AddWinsSet[E]

Returns the '''delta''' that removes all elements from the set.

Returns the '''delta''' that removes all elements from the set.

'''Doesn't return the full set, only the delta!'''

Type parameters

E

Type of the elements in the set

Value parameters

set

State before the removal of all elements

Attributes

Returns

The delta of the clear

def remove[E](set: AddWinsSet[E], element: E): AddWinsSet[E]

Returns the '''delta''' that removes the element from the set.

Returns the '''delta''' that removes the element from the set.

Type parameters

E

Type of the elements in the set.

Value parameters

element

Element to remove.

set

The set to remove the element from

Attributes

Returns

The delta of the removal operation.