Actor.OnEventIgnored method

Callback that is invoked when the actor ignores an event and removes it from its inbox.

protected virtual void OnEventIgnored(Event e)

parameter	description
e	The event that was ignored.

See Also

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