Actor.StopTimer method

Stops and disposes the specified timer.

protected void StopTimer(TimerInfo info)

parameter	description
info	Handle that contains information about the timer.

Remarks

See Using timers in actors for more information.

See Also

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