Actor.OnEventDeferred method

Callback that is invoked when the actor defers dequeing an event from its inbox.

protected virtual void OnEventDeferred(Event e)

parameter	description
e	The event that was deferred.

See Also

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