IActorRuntime.GetCurrentActorIds method

Returns the ActorId of all active actors currently managed by this runtime.

public IEnumerable<ActorId> GetCurrentActorIds()

Return Value

The id of all active actors.

Remarks

This method is not thread-safe.

See Also

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