ChangeID

data class ChangeID(val clientSeq: UInt, val lamport: Long, val actor: ActorID, val versionVector: VersionVector, val serverSeq: Long = 0)

Identifies the Change.

Constructors

constructor(clientSeq: UInt, lamport: Long, actor: ActorID, versionVector: VersionVector, serverSeq: Long = 0)

Creates a ticket of the given delimiter.

Creates a next ID of this ID.

Sets the given actorID.

setClocks sets the given clocks to this ID. This is used when the snapshot is given from the server.

Sets the vector vector.

syncClocks syncs logical clocks with the given ID.

Syncs lamport timestamp with the given ID.