ActorId.CompareTo method

Compares the specified ActorId with the current ActorId for ordering or sorting purposes.

public int CompareTo(ActorId other)

See Also

• class ActorId
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors