ActorId.Runtime property

The runtime that executes the actor with this id.

public IActorRuntime Runtime { get; }

See Also

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