OnActorHaltedHandler delegate

Handles the OnActorHalted event.

public delegate void OnActorHaltedHandler(ActorId id);

See Also

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