Actor.Id property

Unique id that identifies this actor.

protected internal ActorId Id { get; }

See Also

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