DefaultEvent.Instance property

Gets a cached DefaultEvent instance.

public static DefaultEvent Instance { get; }

See Also

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