Unique id of this service.
Event log.
Event log.
Event log.
Updates the CRDT identified by id
with given operation
.
Updates the CRDT identified by id
with given operation
.
Returns the updated value of the CRDT.
CRDT service operations.
CRDT service operations.
Unique id of this service.
Unique id of this service.
Assigns a value
to the MV-Register identified by id
and returns the updated MV-Register value.
Starts the CRDT service.
Starts the CRDT service.
Stops the CRDT service.
Stops the CRDT service.
Returns the current value of the CRDT identified by id
.
Returns the current value of the CRDT identified by id
.
Replicated MVRegister CRDT service.
MVRegister value type.