Assigns a value
to the MV-Register identified by id
and returns the updated MV-Register value.
Event log.
Saves a snapshot of the CRDT identified by id
.
Saves a snapshot of the CRDT identified by id
.
Unique id of this service.
Starts the CRDT service.
Starts the CRDT service.
Stops the CRDT service.
Stops the CRDT service.
Actor system.
Returns the current value of the CRDT identified by id
.
Returns the current value of the CRDT identified by id
.
Java API of a replicated MVRegister CRDT service.
MVRegister value type.