OnEventDroppedHandler delegate

Handles the OnEventDropped event.

public delegate void OnEventDroppedHandler(Event e, ActorId target);

See Also

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