Class TimeTicket

after returns whether the given ticket was created later.

compare returns an integer comparing two Ticket. The result will be 0 if id==other, -1 if id < other, and +1 if id > other. If the receiver or argument is nil, it would panic at runtime.

equals returns whether the given ticket was created.

getActorID returns actorID.

getDelimiter returns delimiter.

getLamport returns the lamport.

getLamportAsString returns the lamport string.

setActor creates a new instance of Ticket with the given actorID.

toIDString returns the lamport string for this Ticket.

toStruct returns the structure of this Ticket.

toTestString returns a string containing the meta data of the ticket for debugging purpose.

fromStruct creates an instance of Ticket from the struct.

of creates an instance of Ticket.