TimerInfo.OwnerId field

The id of the actor that owns the timer.

public readonly ActorId OwnerId;

See Also

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