TimerInfo.Period field

The time interval between timeout events.

public readonly TimeSpan Period;

See Also

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