TimerElapsedEvent constructor

Initializes a new instance of the TimerElapsedEvent class.

public TimerElapsedEvent()

See Also

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