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