TimerInfo.Equals method (1 of 2)
Determines whether the specified object is equal to the current object.
public override bool Equals(object obj)
See Also
- class TimerInfo
- namespace Microsoft.Coyote.Actors.Timers
- assembly Microsoft.Coyote.Actors
TimerInfo.Equals method (2 of 2)
Indicates whether the specified TimerInfo
is equal to the current TimerInfo
.
public bool Equals(TimerInfo other)
See Also
- class TimerInfo
- namespace Microsoft.Coyote.Actors.Timers
- assembly Microsoft.Coyote.Actors