Creates a actor id that is uniquely tied to the specified unique name. The returned actor id can either be a fresh id (not yet bound to any actor), or it can be bound to a previously created actor. In the second case, this actor id can be directly used to communicate with the corresponding actor.
public ActorId CreateActorIdFromName(Type type, string name)
|Type of the actor.
|Unique name used to create or get the actor id.
The result is the actor id.
- class ActorId
- interface IActorRuntime
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors