DefaultEvent class

A default event that is generated by the runtime when no user-defined event is dequeued or received.

public sealed class DefaultEvent : Event

Public Members

name	description
static Instance { get; }	Gets a cached DefaultEvent instance.

See Also

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