TimeTicketStruct

data class TimeTicketStruct(val lamport: String, val delimiter: UInt, val actorID: ActorID) : JsonSerializable.Struct<TimeTicket>

TimeTicketStruct is a structure represents the meta data of the ticket. It is used to serialize and deserialize the ticket.

Constructors

Link copied to clipboard
constructor(lamport: String, delimiter: UInt, actorID: ActorID)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
open override fun toOriginal(): TimeTicket