ActorId class
Unique actor id.
public sealed class ActorId : IComparable<ActorId>, IEquatable<ActorId>
Public Members
name | description |
---|---|
IsNameUsedForHashing { get; } | True if NameValue is used as the unique id, else false. |
Runtime { get; } | The runtime that executes the actor with this id. |
readonly Name | Name used for logging. |
readonly NameValue | Unique id, when non-empty. |
readonly Type | The type of the actor associated with this id. |
readonly Value | Unique id, when NameValue is empty. |
CompareTo(…) | Compares the specified ActorId with the current ActorId for ordering or sorting purposes. |
Equals(…) | Indicates whether the specified ActorId is equal to the current ActorId . |
override Equals(…) | Determines whether the specified object is equal to the current object. |
override GetHashCode() | Returns the hash code for this instance. |
override ToString() | Returns a string that represents the current actor id. |
See Also
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors