ActorId.IsNameUsedForHashing property

True if NameValue is used as the unique id, else false.

public bool IsNameUsedForHashing { get; }

See Also

• class ActorId
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors