EventGroup.Null field

A special null event group that can be used to stop the CurrentEventGroup from being passed along when CreateActor or SendEvent is invoked.

public static EventGroup Null;

See Also

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