ActorId.NameValue field

Unique id, when non-empty.

public readonly string NameValue;

See Also

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