TimerInfo.GetHashCode method

Returns the hash code for this instance.

public override int GetHashCode()

See Also

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