ActorId.Value field

Unique id, when NameValue is empty.

public readonly ulong Value;

See Also

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