IActorRuntime.CreateActorId method
Creates a fresh actor id that has not yet been bound to any actor.
public ActorId CreateActorId(Type type, string name = null)
| parameter | description |
|---|---|
| type | Type of the actor. |
| name | Optional name used for logging. |
Return Value
The result is the actor id.
See Also
- class ActorId
- interface IActorRuntime
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors